doc/Contents
changeset 30240 5b25fee0362c
parent 25248 cc5cf5f1178b
child 30242 aea5d7fa7ef5
     1.1 --- a/doc/Contents	Wed Mar 04 10:43:39 2009 +0100
     1.2 +++ b/doc/Contents	Wed Mar 04 10:45:52 2009 +0100
     1.3 @@ -6,13 +6,16 @@
     1.4    functions       Tutorial on Function Definitions
     1.5    codegen         Tutorial on Code Generation
     1.6    sugar           LaTeX sugar for proof documents
     1.7 -  ind-defs        (Co)Inductive Definitions in ZF
     1.8  
     1.9  Reference Manuals
    1.10    isar-ref        The Isabelle/Isar Reference Manual
    1.11    implementation  The Isabelle/Isar Implementation Manual
    1.12    system          The Isabelle System Manual
    1.13 -  ref             The Isabelle Reference Manual
    1.14 +
    1.15 +Old Manuals (outdated!)
    1.16 +  intro           Old Introduction to Isabelle
    1.17 +  ref             Old Isabelle Reference Manual
    1.18    logics          Isabelle's Logics: overview and misc logics
    1.19    logics-HOL      Isabelle's Logics: HOL
    1.20    logics-ZF       Isabelle's Logics: FOL and ZF
    1.21 +  ind-defs        (Co)Inductive Definitions in ZF