diff -r f11d88bfa934 -r 3ec847562782 doc/Contents
--- a/doc/Contents	Tue Aug 28 13:09:01 2012 +0200
+++ b/doc/Contents	Tue Aug 28 13:12:03 2012 +0200
@@ -21,4 +21,4 @@
   logics          Isabelle's Logics: overview and misc logics
   logics-HOL      Isabelle's Logics: HOL
   logics-ZF       Isabelle's Logics: FOL and ZF
-  ind-defs        (Co)Inductive Definitions in ZF
+