doc/Contents
author kleing
Mon Mar 29 08:59:23 2004 +0200 (2004-03-29)
changeset 14491 df007bdff9bf
parent 14001 212271f61915
child 14493 216179c782a6
permissions -rw-r--r--
put in sections, reorganized, removed intro to isabelle
     1 Tutorials
     2   tutorial      Tutorial on Isabelle/HOL
     3   isar-overview Tutorial on Isar
     4 
     5 Reference Manuals
     6   isar-ref      The Isabelle/Isar Reference Manual
     7   ref           The Isabelle Reference Manual
     8   system        The Isabelle System Manual
     9 
    10 Logics
    11   logics        Isabelle's Logics: overview and misc logics
    12   logics-HOL    Isabelle's Logics: HOL
    13   logics-ZF     Isabelle's Logics: FOL and ZF
    14 
    15 Specific Topics
    16   axclass       Tutorial on Axiomatic Type Classes
    17   ind-defs      (Co)Inductive Definitions in ZF