changeset 9244 7edd3e5f26d4
parent 7045 d6595926aa10
child 13843 6b5a1dfe8cfc
--- 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