tuned -- just one qualification of sections ("!");
authorwenzelm
Sat Apr 05 19:16:44 2014 +0200 (2014-04-05)
changeset 56426ad83657a3f93
parent 56425 d12653fbd5b1
child 56427 5cbaf18d0dfb
tuned -- just one qualification of sections ("!");
doc/Contents
     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