summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/logicproof
ModeNameSize
-rw-r--r--README543logplain
-rw-r--r--logicproof.dtx24591logplain
-rw-r--r--logicproof.ins1417logplain
-rw-r--r--logicproof.pdf55005logplain