Index of /support/proof

 Name                    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