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

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