proofs package 2000/04/06 10:37:33 rahtz Macros for building proof trees. 115874 texmf/tpm/package/proofs.tpm texmf/source/latex/proofs/taylor/* texmf/tpm/package/proofs.tpm texmf/source/latex/proofs/taylor/QED-.sty texmf/source/latex/proofs/taylor/QED.sty texmf/source/latex/proofs/taylor/boxproof-old.tex texmf/source/latex/proofs/taylor/boxproof.tex texmf/source/latex/proofs/taylor/prooftree-doc.dvi texmf/source/latex/proofs/taylor/prooftree-doc.tex texmf/source/latex/proofs/taylor/prooftree.tex package/proofs