small change
authorMart Lubbers <mart@martlubbers.net>
Wed, 11 Nov 2015 15:28:02 +0000 (16:28 +0100)
committerMart Lubbers <mart@martlubbers.net>
Wed, 11 Nov 2015 15:28:02 +0000 (16:28 +0100)
commit97331f69d92ae883d0436894e3c0f19fe1a0c550
tree518672c2d45707396bc942c4ff2b4dcf3d7be6b2
parent025d91c377034838dfb6ec87f47f9bb60d24633f
small change
a2/1cases.tex