Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - wcltx.dvi 1995-11-30 01:00 24K wcltx.tex 1995-11-30 01:00 13K wcltx.log 1995-11-30 01:00 3.9K wcltx.aux 1995-11-30 01:00 1.6K wcltx.idx 1995-11-30 01:00 1.1K wcltx.scn 1995-11-30 01:00 676 wcltx.bbl 1995-11-30 01:00 197