diff -r 0472f2367efb -r a0459c50cfc9 doc/Contents --- a/doc/Contents Wed Sep 07 20:29:54 2011 +0200 +++ b/doc/Contents Wed Sep 07 20:49:45 2011 +0200 @@ -1,4 +1,4 @@ -Learning and using Isabelle +Miscellaneous tutorials tutorial Tutorial on Isabelle/HOL main What's in Main isar-overview Tutorial on Isar