ftp.ntua.gr:/mirror/ctan/macros/latex/contrib/synproof/?C=N&O=D 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[TXT] synproof.sty                                     05-Jul-2009 17:26  5.8K  
[   ] synproof-doc.tex                                 09-Jun-2007 20:03   12K  
[   ] synproof-doc.pdf                                 09-Jun-2007 20:11   67K  
[TXT] README                                           09-Jun-2007 18:53  655
Apache/2.2 Server at ftp.ntua.gr Port 80