| Sat, 05 Nov 2011 18:44:28 +0000 | Christian Urban | added section about testboard | file | diff | annotate |
| Tue, 21 Jun 2011 12:53:16 +0100 | Christian Urban | added an excercise originally by Jasmin Blanchette | file | diff | annotate |
| Fri, 17 Jun 2011 16:58:05 +0100 | Christian Urban | a little polishing | file | diff | annotate |
| Tue, 17 May 2011 18:11:21 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |