tt1516.git
8 years agoupdate
Mart Lubbers [Wed, 20 Jan 2016 08:10:44 +0000 (09:10 +0100)]
update

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