Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443
Parent Directory - proofrc 2002-09-30 18:10 5.6K proof.1 2002-09-30 18:13 9.8K proof 2002-09-30 18:10 11K install 2002-09-30 18:10 1.9K example.tex 2002-09-30 18:10 11K example.mp 2002-09-30 18:10 1.9K example.mf 2002-09-30 18:10 3.7K edit 2002-09-30 18:10 487 README 2002-09-30 18:12 3.8K