tt1516.git
2016-01-21 Mart Lubbersmbt slides1 done
2016-01-20 Mart Lubbersupdate
2015-11-30 Mart Lubbersadded proof bit
2015-11-30 Mart Lubbersinitial commit, started with the exercises