doc/Contents
changeset 30852 59a422908e29
parent 30467 afd0e5095c6b
child 33211 68e5b26cc140
     1.1 --- a/doc/Contents	Thu Apr 02 14:09:41 2009 +0200
     1.2 +++ b/doc/Contents	Thu Apr 02 14:30:16 2009 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4    implementation  The Isabelle/Isar Implementation Manual
     1.5    system          The Isabelle System Manual
     1.6  
     1.7 -Old Manuals (outdated!)
     1.8 +Old Manuals (outdated)
     1.9    intro           Old Introduction to Isabelle
    1.10    ref             Old Isabelle Reference Manual
    1.11    logics          Isabelle's Logics: overview and misc logics