1.1 --- a/doc/Contents	Fri Apr 16 12:07:01 2004 +0200
     1.2 +++ b/doc/Contents	Fri Apr 16 12:09:31 2004 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4  Learning Isabelle
     1.5    tutorial      Tutorial on Isabelle/HOL
     1.6    isar-overview Tutorial on Isar
     1.7 +  locales       Tutorial on Locales
     1.8    exercises     Exercises for Isabelle/HOL
     1.9  
    1.10  Reference Manuals