doc/Contents
changeset 48964 3ec847562782
parent 47323 365521737b6a
child 50174 fe84e830866e
     1.1 --- a/doc/Contents	Tue Aug 28 13:09:01 2012 +0200
     1.2 +++ b/doc/Contents	Tue Aug 28 13:12:03 2012 +0200
     1.3 @@ -21,4 +21,4 @@
     1.4    logics          Isabelle's Logics: overview and misc logics
     1.5    logics-HOL      Isabelle's Logics: HOL
     1.6    logics-ZF       Isabelle's Logics: FOL and ZF
     1.7 -  ind-defs        (Co)Inductive Definitions in ZF
     1.8 +