| Tue, 28 Jun 2011 09:22:00 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Tue, 21 Jun 2011 12:53:16 +0100 | Christian Urban | added an excercise originally by Jasmin Blanchette | file | diff | annotate |
| Mon, 20 Jun 2011 13:59:58 +0100 | Christian Urban | more polishing | file | diff | annotate |