# 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