# HG changeset patch
# User haftmann
# Date 1193756430 -3600
# Node ID 42071ca3a14ccacc2ed7866ec57086ef2c461dfd
# Parent  78f8aaa274934f39c40e4a8f4d7a81dc08e85491
added omission

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