diff -r 8aa23a259ab2 -r 928cb8b35e6e doc/Contents
--- a/doc/Contents	Tue Apr 03 20:37:52 2012 +0200
+++ b/doc/Contents	Tue Apr 03 20:42:00 2012 +0200
@@ -1,6 +1,6 @@
 Miscellaneous tutorials
   tutorial        Tutorial on Isabelle/HOL
-  main            What's in Main
+  prog-prove      Programming and Proving in Isabelle/HOL
   isar-overview   Tutorial on Isar
   locales         Tutorial on Locales
   classes         Tutorial on Type Classes
@@ -10,7 +10,8 @@
   sledgehammer    User's Guide to Sledgehammer
   sugar           LaTeX Sugar for Isabelle documents
 
-Main Reference Manuals
+Reference Manuals
+  main            What's in Main
   isar-ref        The Isabelle/Isar Reference Manual
   implementation  The Isabelle/Isar Implementation Manual
   system          The Isabelle System Manual