diff -r 78f8aaa27493 -r 42071ca3a14c doc/Contents
--- a/doc/Contents	Tue Oct 30 15:28:53 2007 +0100
+++ b/doc/Contents	Tue Oct 30 16:00:30 2007 +0100
@@ -11,7 +11,7 @@
 
 Reference Manuals
   isar-ref        The Isabelle/Isar Reference Manual
-  implementation  The Isabelle/Isar Implementation
+  implementation  The Isabelle/Isar Implementation Manual
   system          The Isabelle System Manual
   ref             The Isabelle Reference Manual
   logics          Isabelle's Logics: overview and misc logics