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