doc/Contents
changeset 25244 42071ca3a14c
parent 22736 4948e2bd67e5
child 25248 cc5cf5f1178b
     1.1 --- a/doc/Contents	Tue Oct 30 15:28:53 2007 +0100
     1.2 +++ b/doc/Contents	Tue Oct 30 16:00:30 2007 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4  
     1.5  Reference Manuals
     1.6    isar-ref        The Isabelle/Isar Reference Manual
     1.7 -  implementation  The Isabelle/Isar Implementation
     1.8 +  implementation  The Isabelle/Isar Implementation Manual
     1.9    system          The Isabelle System Manual
    1.10    ref             The Isabelle Reference Manual
    1.11    logics          Isabelle's Logics: overview and misc logics