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