doc-src/IsarImplementation/Thy/locale.thy
changeset 20477 e623b0e30541
parent 20451 27ea2ba48fa3
child 20520 05fd007bdeb9
     1.1 --- a/doc-src/IsarImplementation/Thy/locale.thy	Tue Sep 05 16:42:23 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/locale.thy	Tue Sep 05 16:42:32 2006 +0200
     1.3 @@ -15,7 +15,7 @@
     1.4  text FIXME
     1.5  
     1.6  
     1.7 -section {* Localized theory specifications *}
     1.8 +section {* Local theories *}
     1.9  
    1.10  text {*
    1.11    FIXME