# HG changeset patch
# User wenzelm
# Date 1236800536 -3600
# Node ID 52361140a0d150da206360315ef2ae3f8be8c1e4
# Parent  804de935c328c889df72eae8ecfdaa1a6497a678
tuned;

diff -r 804de935c328 -r 52361140a0d1 doc/Contents
--- a/doc/Contents	Wed Mar 11 20:36:20 2009 +0100
+++ b/doc/Contents	Wed Mar 11 20:42:16 2009 +0100
@@ -1,5 +1,6 @@
 Learning and using Isabelle
   tutorial        Tutorial on Isabelle/HOL
+  main            What's in Main
   isar-overview   Tutorial on Isar
   locales         Tutorial on Locales
   classes         Tutorial on Type Classes
@@ -8,7 +9,6 @@
   sugar           LaTeX sugar for proof documents
 
 Reference Manuals
-  main            What's in Main
   isar-ref        The Isabelle/Isar Reference Manual
   implementation  The Isabelle/Isar Implementation Manual
   system          The Isabelle System Manual