ftp.ntua.gr:/mirror/ctan/support/proof/?C=D&O=A |
Name Last modified Size DescriptionApache/2.2 Server at ftp.ntua.gr Port 80
Parent Directory - README 30-Sep-2002 19:12 3.8K edit 30-Sep-2002 19:10 487 example.mf 30-Sep-2002 19:10 3.7K example.mp 30-Sep-2002 19:10 1.9K example.tex 30-Sep-2002 19:10 11K install 30-Sep-2002 19:10 1.9K proof 30-Sep-2002 19:10 11K proof.1 30-Sep-2002 19:13 9.8K proofrc 30-Sep-2002 19:10 5.6K