Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - harvtst.doc 1995-08-12 10:00 5.3K W.sty 1995-08-12 10:00 5.6K harvmac.tex 1995-08-12 09:59 15K harvmac.occ 1995-08-12 09:59 18K W.tex 1995-08-12 10:00 66K witten94.tex 1995-08-12 10:00 68K