Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - rhlocal.tex 1992-08-26 01:00 501 ruled.tex 1992-08-26 01:00 2.7K solicit.tex 1992-08-26 01:00 2.8K read.me 1992-08-26 01:00 3.4K example1.tex 1992-08-26 01:00 7.3K txsruled.tex 1992-08-26 01:00 19K txs.doc 1992-08-26 01:00 23K ltman.tex 1992-08-26 01:00 68K lextex.tex 1992-08-26 01:00 118K