ftp.ntua.gr:/mirror/CTAN/support/proof/

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

Apache/2.2 Server at ftp.ntua.gr Port 80