doc-src/IsarImplementation/Thy/document/locale.tex
changeset 20477 e623b0e30541
parent 20451 27ea2ba48fa3
child 20520 05fd007bdeb9
     1.1 --- a/doc-src/IsarImplementation/Thy/document/locale.tex	Tue Sep 05 16:42:23 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/document/locale.tex	Tue Sep 05 16:42:32 2006 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4  \end{isamarkuptext}%
     1.5  \isamarkuptrue%
     1.6  %
     1.7 -\isamarkupsection{Localized theory specifications%
     1.8 +\isamarkupsection{Local theories%
     1.9  }
    1.10  \isamarkuptrue%
    1.11  %