Apache/2.2.15 (Scientific Linux) Server at ctan.cs.uu.nl Port 80Name Last modified Size Description
Parent Directory -
install 30-Sep-2002 18:10 1.9K
proof 30-Sep-2002 18:10 11K
edit 30-Sep-2002 18:10 487
example.mf 30-Sep-2002 18:10 3.7K
example.mp 30-Sep-2002 18:10 1.9K
example.tex 30-Sep-2002 18:10 11K
proofrc 30-Sep-2002 18:10 5.6K
proof.1 30-Sep-2002 18:13 9.8K