summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/lkproof
ModeNameSize
-rw-r--r--lkproof-doc.pdf256379logplain
-rw-r--r--lkproof-doc.tex2704logplain
-rw-r--r--proof.sty7239logplain
-rw-r--r--proofeg.tex1752logplain