ftp.ntua.gr:/mirror/ctan/obsolete/macros/generic/proofs/?C=S&O=A 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[DIR] taylor/                                          05-Jun-2006 18:13    -
Apache/2.2 Server at ftp.ntua.gr Port 80