| Thu, 27 Oct 2011 18:11:52 +0100 | Christian Urban | some tests | file | diff | annotate |
| Wed, 23 Feb 2011 23:55:37 +0000 | Christian Urban | updated to post-2011 Isabelle | file | diff | annotate |
| Wed, 02 Jun 2010 07:19:58 +0200 | Christian Urban | added Andreas | file | diff | annotate |
| Sat, 29 May 2010 12:30:02 +0200 | Christian Urban | added example from Tobias and changed the title | file | diff | annotate |
| Tue, 17 Nov 2009 18:40:11 +0100 | Christian Urban | added example by Lukas Bulwahn | file | diff | annotate |
| Tue, 03 Nov 2009 13:57:03 +0100 | Christian Urban | added structure index | file | diff | annotate |
| Sat, 31 Oct 2009 11:37:41 +0100 | Christian Urban | new parts in the tactical section | file | diff | annotate |
| Sun, 25 Oct 2009 15:26:03 +0100 | Christian Urban | some polishing | file | diff | annotate |
| Wed, 14 Oct 2009 02:32:53 +0200 | Christian Urban | slightly tuned | file | diff | annotate |
| Sun, 11 Oct 2009 16:30:59 +0200 | Christian Urban | fixed glitch with tocibind | file | diff | annotate |
| Sat, 10 Oct 2009 18:25:43 +0200 | Christian Urban | used a better implementation of \index in Latex; added more to the theorem section | file | diff | annotate |
| Sat, 03 Oct 2009 19:10:23 +0200 | Christian Urban | more work | file | diff | annotate |
| Thu, 20 Aug 2009 22:30:20 +0200 | Christian Urban | further polishing of index generation | file | diff | annotate |
| Wed, 19 Aug 2009 00:49:40 +0200 | Christian Urban | added exercise | file | diff | annotate |
| Mon, 03 Aug 2009 13:53:04 +0200 | Christian Urban | removed rail; added external aux-files | file | diff | annotate |