| Wed, 20 Jun 2012 08:29:12 +0100 | Christian Urban | moved the introspection part into the theorem section | file | diff | annotate |
| Tue, 19 Jun 2012 15:02:22 +0100 | Christian Urban | added a new recipe for introspecting theorems (suggested by Lukas and Rafal) | file | diff | annotate |
| 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 |
| Fri, 02 Oct 2009 15:38:14 +0200 | Christian Urban | more work on the storing section | file | diff | annotate |
| Fri, 21 Aug 2009 11:42:14 +0200 | Christian Urban | split up the first-steps section into two chapters | file | diff | annotate |
| Wed, 01 Apr 2009 15:42:47 +0100 | Christian Urban | finished the heavy duty stuff for the inductive package | file | diff | annotate |
| Thu, 19 Mar 2009 13:28:16 +0100 | Christian Urban | made more of the transition from "CookBook" to "ProgTutorial" | file | diff | annotate | base |