| Fri, 18 Mar 2011 02:53:14 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Wed, 28 Jul 2010 19:09:49 +0200 | Christian Urban | test | file | diff | annotate |
| Sat, 29 May 2010 12:30:02 +0200 | Christian Urban | added example from Tobias and changed the title | file | diff | annotate |
| Thu, 19 Nov 2009 17:48:44 +0100 | Christian Urban | spilt the Essential's chapter | file | diff | annotate |
| Wed, 14 Oct 2009 12:33:38 +0200 | Christian Urban | tuned | file | diff | annotate |
| Sat, 03 Oct 2009 19:10:23 +0200 | Christian Urban | more work | file | diff | annotate |
| Sat, 03 Oct 2009 13:01:39 +0200 | Christian Urban | updated to new Isabelle; more work on the data section | file | diff | annotate |