ftp.ntua.gr:/mirror/ctan/macros/generic/proofs/taylor/?C=D&O=A 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[TXT] QED.sty                                          24-Jun-1996 21:54   32K  
[   ] prooftree-doc.dvi                                03-Oct-1995 13:53  7.2K  
[   ] prooftree-doc.pdf                                19-Mar-2006 18:02   79K  
[   ] prooftree-doc.tex                                03-Oct-1995 13:53  4.9K  
[TXT] prooftree.sty                                    20-Aug-1996 16:15   12K  
[   ] prooftree.tex                                    20-Aug-1996 16:15   12K
Apache/2.2 Server at ftp.ntua.gr Port 80