texmf-dist/doc/latex/proof/proofeg.pdf texmf-dist/doc/latex/proof/proofeg.tex texmf-dist/tex/latex/proof/proof.sty texmf-dist/tpm/proof.tpm texmf/lists/proof