--- a/doc/Contents Fri Nov 23 13:46:01 2012 +0100
+++ b/doc/Contents Fri Nov 23 15:08:44 2012 +0100
@@ -1,4 +1,4 @@
-Miscellaneous tutorials
+Tutorials
prog-prove Programming and Proving in Isabelle/HOL
tutorial Tutorial on Isabelle/HOL
locales Tutorial on Locales