added proof bit
authorMart Lubbers <mart@martlubbers.net>
Mon, 30 Nov 2015 17:04:30 +0000 (18:04 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 30 Nov 2015 17:04:30 +0000 (18:04 +0100)
commitdef489dbcf463db0afe0b1db8f9379bf88516294
tree3171bbc3e1427b3f0071add39fea4efa519d24e2
parent59609544e15404436a49649e1cf6b8c363f6867e
added proof bit
mbt_exercises/mbt.tex
mbt_exercises/pre.tex