Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443
Parent Directory - README 1992-08-27 02:00 504 readme.ruled-tables 1992-08-27 02:00 504 ruled.tex 1992-08-27 02:00 17K ruleddoc.tex 1992-08-27 02:00 19K