# HG changeset patch
# User haftmann
# Date 1159822845 -7200
# Node ID 4981b56f8cde507bfee4e454b7bb32b44bd2251b
# Parent  65ba80cae6df8e1c7854f644643ef96a063b68a8
restructured contents

diff -r 65ba80cae6df -r 4981b56f8cde doc/Contents
--- a/doc/Contents	Mon Oct 02 21:30:05 2006 +0200
+++ b/doc/Contents	Mon Oct 02 23:00:45 2006 +0200
@@ -1,20 +1,16 @@
-Learning Isabelle
+Learning and using Isabelle
   tutorial        Tutorial on Isabelle/HOL
   isar-overview   Tutorial on Isar
   locales         Tutorial on Locales
+  axclass         Tutorial on Axiomatic Type Classes
+  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
   system          The Isabelle System Manual
   ref             The Isabelle Reference Manual
-
-Logics
   logics          Isabelle's Logics: overview and misc logics
   logics-HOL      Isabelle's Logics: HOL
   logics-ZF       Isabelle's Logics: FOL and ZF
-
-Specific Topics
-  sugar           LaTeX sugar for proof documents
-  axclass         Tutorial on Axiomatic Type Classes
-  ind-defs        (Co)Inductive Definitions in ZF