Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at www.gnu.ftp.uni-erlangen.de Port 80
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