Index of /support/proof

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 README                  2002-09-30 18:12  3.8K  
 edit                    2002-09-30 18:10  487   
 example.mf              2002-09-30 18:10  3.7K  
 example.mp              2002-09-30 18:10  1.9K  
 example.tex             2002-09-30 18:10   11K  
 install                 2002-09-30 18:10  1.9K  
 proof                   2002-09-30 18:10   11K  
 proof.1                 2002-09-30 18:13  9.8K  
 proofrc                 2002-09-30 18:10  5.6K