diff -r 179ff9cb160b -r 5b25fee0362c doc/Contents
--- a/doc/Contents	Wed Mar 04 10:43:39 2009 +0100
+++ b/doc/Contents	Wed Mar 04 10:45:52 2009 +0100
@@ -6,13 +6,16 @@
   functions       Tutorial on Function Definitions
   codegen         Tutorial on Code Generation
   sugar           LaTeX sugar for proof documents
-  ind-defs        (Co)Inductive Definitions in ZF
 
 Reference Manuals
   isar-ref        The Isabelle/Isar Reference Manual
   implementation  The Isabelle/Isar Implementation Manual
   system          The Isabelle System Manual
-  ref             The Isabelle Reference Manual
+
+Old Manuals (outdated!)
+  intro           Old Introduction to Isabelle
+  ref             Old Isabelle Reference Manual
   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