(TXT) QED.sty
 (BIN) prooftree-doc.dvi
 (DOC) prooftree-doc.pdf
 (TXT) prooftree-doc.tex
 (TXT) prooftree.sty
 (TXT) prooftree.tex