doc/Contents
changeset 56426 ad83657a3f93
parent 56423 c2f52824dbb2
child 60288 d7f636331176
     1.1 --- a/doc/Contents	Sat Apr 05 19:16:16 2014 +0200
     1.2 +++ b/doc/Contents	Sat Apr 05 19:16:44 2014 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4    system          The Isabelle System Manual
     1.5    jedit           Isabelle/jEdit
     1.6  
     1.7 -Old Manuals (outdated)
     1.8 +Old Manuals
     1.9    intro           Old Introduction to Isabelle
    1.10    logics          Isabelle's Logics: HOL and misc logics
    1.11    logics-ZF       Isabelle's Logics: FOL and ZF