summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/proofs/taylor
ModeNameSize
-rw-r--r--QED-.sty25715logplain
-rw-r--r--QED.sty32907logplain
-rw-r--r--boxproof-old.tex9453logplain
-rw-r--r--boxproof.tex21596logplain
-rw-r--r--prooftree-doc.dvi7336logplain
-rw-r--r--prooftree-doc.tex5056logplain
-rw-r--r--prooftree.tex12552logplain