changeset 22322 | b9924abb8c66 |
parent 21827 | 0b1d07f79c1e |
child 24828 | 137c242e7277 |
--- a/doc-src/IsarImplementation/Thy/logic.thy Wed Feb 14 10:06:17 2007 +0100 +++ b/doc-src/IsarImplementation/Thy/logic.thy Wed Feb 14 10:07:17 2007 +0100 @@ -434,7 +434,7 @@ notion of equality/equivalence @{text "\<equiv>"}. *} -subsection {* Primitive connectives and rules *} +subsection {* Primitive connectives and rules \label{sec:prim_rules} *} text {* The theory @{text "Pure"} contains constant declarations for the