summaryrefslogtreecommitdiff
path: root/macros/generic/proofs/taylor
ModeNameSize
-rw-r--r--QED.sty32907logplain
-rw-r--r--prooftree-doc.dvi7336logplain
-rw-r--r--prooftree-doc.pdf80732logplain
-rw-r--r--prooftree-doc.tex5056logplain
l---------prooftree.sty -> prooftree.tex13logplain
-rw-r--r--prooftree.tex12552logplain