| 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 |