../ README 30-Sep-2002 16:12 3879 edit 30-Sep-2002 16:10 487 example.mf 30-Sep-2002 16:10 3761 example.mp 30-Sep-2002 16:10 1986 example.tex 30-Sep-2002 16:10 11767 install 30-Sep-2002 16:10 1929 proof 30-Sep-2002 16:10 10965 proof.1 30-Sep-2002 16:13 10044 proofrc 30-Sep-2002 16:10 5696