Index of /pub/ctan/macros/generic/proofs/taylor

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[TXT] QED.sty                          1996-06-24 19:54   32K  
[   ] prooftree-doc.dvi                1995-10-03 12:53  7.2K  
[   ] prooftree-doc.pdf                2006-03-19 16:02   79K  
[TXT] prooftree-doc.tex                1995-10-03 12:53  4.9K  
[TXT] prooftree.sty                    1996-08-20 14:15   12K  
[TXT] prooftree.tex                    1996-08-20 14:15   12K
Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80