diff -r 0472f2367efb -r a0459c50cfc9 doc/Contents
--- 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