--- 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