# HG changeset patch
# User wenzelm
# Date 962715520 -7200
# Node ID 7edd3e5f26d455b053436f80026e8928006d3f96
# Parent  22b460a0b67679173f8d2bd51e342500f3ed15bd
tuned;

diff -r 22b460a0b676 -r 7edd3e5f26d4 doc/Contents
--- 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