add locales
authorkleing
Fri Apr 16 12:09:31 2004 +0200 (2004-04-16)
changeset 1458829311d81954e
parent 14587 3966c5c6035d
child 14589 feae7b5fd425
add locales
doc-src/Contents
doc/Contents
     1.1 --- a/doc-src/Contents	Fri Apr 16 12:07:01 2004 +0200
     1.2 +++ b/doc-src/Contents	Fri Apr 16 12:09:31 2004 +0200
     1.3 @@ -1,1 +1,1 @@
     1.4 -Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Exercises
     1.5 +Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Exercises Locales
     2.1 --- a/doc/Contents	Fri Apr 16 12:07:01 2004 +0200
     2.2 +++ b/doc/Contents	Fri Apr 16 12:09:31 2004 +0200
     2.3 @@ -1,6 +1,7 @@
     2.4  Learning Isabelle
     2.5    tutorial      Tutorial on Isabelle/HOL
     2.6    isar-overview Tutorial on Isar
     2.7 +  locales       Tutorial on Locales
     2.8    exercises     Exercises for Isabelle/HOL
     2.9  
    2.10  Reference Manuals