share/texmf/lists/latex3/proofs
share/texmf/source/latex/proofs/taylor/00Description
share/texmf/source/latex/proofs/taylor/QED-.sty
share/texmf/source/latex/proofs/taylor/QED.sty
share/texmf/source/latex/proofs/taylor/boxproof-old.tex
share/texmf/source/latex/proofs/taylor/boxproof.tex
share/texmf/source/latex/proofs/taylor/prooftree-doc.aux
share/texmf/source/latex/proofs/taylor/prooftree-doc.dvi
share/texmf/source/latex/proofs/taylor/prooftree-doc.log
share/texmf/source/latex/proofs/taylor/prooftree-doc.tex
share/texmf/source/latex/proofs/taylor/prooftree.tex