doc/Contents
changeset 25244 42071ca3a14c
parent 22736 4948e2bd67e5
child 25248 cc5cf5f1178b
equal deleted inserted replaced
25243:78f8aaa27493 25244:42071ca3a14c
     9   sugar           LaTeX sugar for proof documents
     9   sugar           LaTeX sugar for proof documents
    10   ind-defs        (Co)Inductive Definitions in ZF
    10   ind-defs        (Co)Inductive Definitions in ZF
    11 
    11 
    12 Reference Manuals
    12 Reference Manuals
    13   isar-ref        The Isabelle/Isar Reference Manual
    13   isar-ref        The Isabelle/Isar Reference Manual
    14   implementation  The Isabelle/Isar Implementation
    14   implementation  The Isabelle/Isar Implementation Manual
    15   system          The Isabelle System Manual
    15   system          The Isabelle System Manual
    16   ref             The Isabelle Reference Manual
    16   ref             The Isabelle Reference Manual
    17   logics          Isabelle's Logics: overview and misc logics
    17   logics          Isabelle's Logics: overview and misc logics
    18   logics-HOL      Isabelle's Logics: HOL
    18   logics-HOL      Isabelle's Logics: HOL
    19   logics-ZF       Isabelle's Logics: FOL and ZF
    19   logics-ZF       Isabelle's Logics: FOL and ZF