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