../ README 30-Sep-2002 21:42 3879 edit 30-Sep-2002 21:40 487 example.mf 30-Sep-2002 21:40 3761 example.mp 30-Sep-2002 21:40 1986 example.tex 30-Sep-2002 21:40 11K install 30-Sep-2002 21:40 1929 proof 30-Sep-2002 21:40 11K proof.1 30-Sep-2002 21:43 10K proofrc 30-Sep-2002 21:40 5696