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