--- a/doc/Contents Tue Jul 04 14:04:56 2000 +0200
+++ b/doc/Contents Tue Jul 04 14:58:40 2000 +0200
@@ -1,10 +1,10 @@
tutorial Tutorial on Isabelle/HOL
-intro Introduction to Isabelle
+axclass Tutorial on Axiomatic Type Classes
+isar-ref The Isabelle/Isar Reference Manual
ref The Isabelle Reference Manual
-isar-ref The Isabelle/Isar Reference Manual
system The Isabelle System Manual
+intro Introduction to Isabelle
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
-axclass Tutorial on Axiomatic Type Classes