tt1516.git
8 years agoadded proof bit
Mart Lubbers [Mon, 30 Nov 2015 17:04:30 +0000 (18:04 +0100)]
added proof bit

8 years agoinitial commit, started with the exercises
Mart Lubbers [Mon, 30 Nov 2015 15:30:29 +0000 (16:30 +0100)]
initial commit, started with the exercises