--- a/doc/Contents Wed Sep 07 20:29:54 2011 +0200
+++ b/doc/Contents Wed Sep 07 20:49:45 2011 +0200
@@ -1,4 +1,4 @@
-Learning and using Isabelle
+Miscellaneous tutorials
tutorial Tutorial on Isabelle/HOL
main What's in Main
isar-overview Tutorial on Isar