
diff -r 6d3f144cc1bd -r e623b0e30541 doc-src/IsarImplementation/Thy/locale.thy
--- a/doc-src/IsarImplementation/Thy/locale.thy	Tue Sep 05 16:42:23 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/locale.thy	Tue Sep 05 16:42:32 2006 +0200
@@ -15,7 +15,7 @@
 text FIXME
 
 
-section {* Localized theory specifications *}
+section {* Local theories *}
 
 text {*
   FIXME




