| Sun, 11 Oct 2009 22:45:29 +0200 | Christian Urban | polished first chapter | 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 |
| Sun, 04 Oct 2009 21:56:53 +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 |
| Thu, 01 Oct 2009 10:19:21 +0200 | Christian Urban | more work on the tutorial | file | diff | annotate |
| Tue, 29 Sep 2009 22:10:48 +0200 | Christian Urban | started section about storing data | file | diff | annotate |