doc-src/IsarImplementation/Thy/document/logic.tex
changeset 26873 691f35f855cd
parent 26854 9b4aec46ad78
child 28086 db584d1d2af4
     1.1 --- a/doc-src/IsarImplementation/Thy/document/logic.tex	Sat May 10 14:13:03 2008 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/document/logic.tex	Sat May 10 14:13:20 2008 +0200
     1.3 @@ -438,7 +438,7 @@
     1.4  \end{isamarkuptext}%
     1.5  \isamarkuptrue%
     1.6  %
     1.7 -\isamarkupsubsection{Primitive connectives and rules \label{sec:prim_rules}%
     1.8 +\isamarkupsubsection{Primitive connectives and rules \label{sec:prim-rules}%
     1.9  }
    1.10  \isamarkuptrue%
    1.11  %