Name Last modified Size Description
Parent Directory - install 2002-09-30 16:10 1.9K proof 2002-09-30 16:10 11K edit 2002-09-30 16:10 487 example.mf 2002-09-30 16:10 3.7K example.mp 2002-09-30 16:10 1.9K example.tex 2002-09-30 16:10 11K proofrc 2002-09-30 16:10 5.6K README 2002-09-30 16:12 3.8K proof.1 2002-09-30 16:13 9.8K