doc-src/IsarRef/Thy/document/Misc.tex
changeset 27054 f1ef0973d0a8
parent 27052 5c48cecb981b
child 27598 b66e257b75f5
     1.1 --- a/doc-src/IsarRef/Thy/document/Misc.tex	Tue Jun 03 00:03:52 2008 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/document/Misc.tex	Tue Jun 03 00:03:54 2008 +0200
     1.3 @@ -235,7 +235,7 @@
     1.4  \end{isamarkuptext}%
     1.5  \isamarkuptrue%
     1.6  %
     1.7 -\isamarkupsection{System operations%
     1.8 +\isamarkupsection{System commands%
     1.9  }
    1.10  \isamarkuptrue%
    1.11  %