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