summaryrefslogtreecommitdiff
path: root/prooftree.sty
diff options
context:
space:
mode:
authorEvi2016-06-10 10:08:42 +0200
committerEvi2016-06-10 10:08:42 +0200
commitd76dbfdcae8e0885e8379da3e4db99f33dfc56cb (patch)
tree6801cdb6ef2f3987ef141e65c9119a8803b8b988 /prooftree.sty
parentFeedback (diff)
aanpassing sos + kleine fix ns trans
Diffstat (limited to 'prooftree.sty')
0 files changed, 0 insertions, 0 deletions