proofs Package 2006/01/11 23:56:25 rahtz Macros for building proof trees. Paul Taylor 115788 texmf-dist/tpm/proofs.tpm texmf-dist/source/latex/proofs/taylor/QED-.sty texmf-dist/source/latex/proofs/taylor/QED.sty texmf-dist/source/latex/proofs/taylor/boxproof-old.tex texmf-dist/source/latex/proofs/taylor/boxproof.tex texmf-dist/source/latex/proofs/taylor/prooftree-doc.dvi texmf-dist/source/latex/proofs/taylor/prooftree-doc.tex texmf-dist/source/latex/proofs/taylor/prooftree.tex Package/proofs