| Sun, 18 Oct 2009 21:22:44 +0200 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Tue, 13 Oct 2009 22:57:25 +0200 | Christian Urban | tuned the ML-output mechanism; tuned slightly the text | 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 |