summaryrefslogtreecommitdiff
path: root/prooftree.sty
diff options
context:
space:
mode:
authorEvi2016-04-29 16:20:46 +0200
committerEvi2016-04-29 16:20:46 +0200
commita6dc11860f547c322986dc42e89e9a30dfe092e3 (patch)
tree2bd603497a43ee440242a20646c8731c772a67c5 /prooftree.sty
parentNog een var (diff)
quotify
gedeeltelijke uitwerking quotify
Diffstat (limited to 'prooftree.sty')
0 files changed, 0 insertions, 0 deletions