Index of /CTAN/macros/generic/proofs/taylor/

../
QED.sty                                            25-Jun-1996 01:54               32907
prooftree-doc.dvi                                  03-Oct-1995 18:53                7336
prooftree-doc.pdf                                  19-Mar-2006 23:02               80732
prooftree-doc.tex                                  03-Oct-1995 18:53                5056
prooftree.sty                                      20-Aug-1996 20:15               12552
prooftree.tex                                      20-Aug-1996 20:15               12552