--- a/doc-src/IsarImplementation/Thy/logic.thy Sat May 10 13:26:25 2008 +0200
+++ b/doc-src/IsarImplementation/Thy/logic.thy Sat May 10 14:13:03 2008 +0200
@@ -437,7 +437,7 @@
notion of equality/equivalence @{text "\<equiv>"}.
*}
-subsection {* Primitive connectives and rules \label{sec:prim_rules} *}
+subsection {* Primitive connectives and rules \label{sec:prim-rules} *}
text {*
The theory @{text "Pure"} contains constant declarations for the
--- a/doc-src/IsarImplementation/Thy/prelim.thy Sat May 10 13:26:25 2008 +0200
+++ b/doc-src/IsarImplementation/Thy/prelim.thy Sat May 10 14:13:03 2008 +0200
@@ -404,7 +404,7 @@
*}
-section {* Names *}
+section {* Names \label{sec:names} *}
text {*
In principle, a name is just a string, but there are various