--- a/doc/Contents Fri Apr 16 12:07:01 2004 +0200
+++ b/doc/Contents Fri Apr 16 12:09:31 2004 +0200
@@ -1,6 +1,7 @@
Learning Isabelle
tutorial Tutorial on Isabelle/HOL
isar-overview Tutorial on Isar
+ locales Tutorial on Locales
exercises Exercises for Isabelle/HOL
Reference Manuals