doc-src/IsarImplementation/Thy/document/prelim.tex
changeset 26873 691f35f855cd
parent 26867 6274cf7e2b8e
child 26902 8db1e960d636
     1.1 --- a/doc-src/IsarImplementation/Thy/document/prelim.tex	Sat May 10 14:13:03 2008 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/document/prelim.tex	Sat May 10 14:13:20 2008 +0200
     1.3 @@ -474,7 +474,7 @@
     1.4  %
     1.5  \endisadelimmlref
     1.6  %
     1.7 -\isamarkupsection{Names%
     1.8 +\isamarkupsection{Names \label{sec:names}%
     1.9  }
    1.10  \isamarkuptrue%
    1.11  %