Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - witten94.tex 1995-08-12 10:00 68K harvtst.doc 1995-08-12 10:00 5.3K W.tex 1995-08-12 10:00 66K 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