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 texmf-dist/tpm/proofs.tpm texmf/lists/proofs