doc/Contents
changeset 14588 29311d81954e
parent 14493 216179c782a6
child 15291 dd4648ae6eff
--- 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