# HG changeset patch
# User wenzelm
# Date 1234729585 -3600
# Node ID bab2371e03484ef4b5f0eee5f7f8ab40f187b25a
# Parent  533c27b43ee1f001fd142d00294825ebbe9660a3
explicit section for old/outdated manuals, which are still informative to some extent;

diff -r 533c27b43ee1 -r bab2371e0348 doc-src/Dirs
--- a/doc-src/Dirs	Sun Feb 15 18:56:13 2009 +0100
+++ b/doc-src/Dirs	Sun Feb 15 21:26:25 2009 +0100
@@ -1,1 +1,1 @@
-Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions
+Intro Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions
diff -r 533c27b43ee1 -r bab2371e0348 doc/Contents
--- a/doc/Contents	Sun Feb 15 18:56:13 2009 +0100
+++ b/doc/Contents	Sun Feb 15 21:26:25 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
+
+Old Manuals (outdated!)
+  intro           Introduction to Isabelle
   ref             The 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