--- 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
+