added omission
authorhaftmann
Tue Oct 30 16:00:30 2007 +0100 (2007-10-30)
changeset 2524442071ca3a14c
parent 25243 78f8aaa27493
child 25245 1fcfcdcba53c
added omission
doc/Contents
     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