fixed some labels;
authorwenzelm
Sat May 10 14:13:03 2008 +0200 (2008-05-10)
changeset 26872336dfd860744
parent 26871 996add9defab
child 26873 691f35f855cd
fixed some labels;
doc-src/IsarImplementation/Thy/logic.thy
doc-src/IsarImplementation/Thy/prelim.thy
     1.1 --- a/doc-src/IsarImplementation/Thy/logic.thy	Sat May 10 13:26:25 2008 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/logic.thy	Sat May 10 14:13:03 2008 +0200
     1.3 @@ -437,7 +437,7 @@
     1.4    notion of equality/equivalence @{text "\<equiv>"}.
     1.5  *}
     1.6  
     1.7 -subsection {* Primitive connectives and rules \label{sec:prim_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
     2.1 --- a/doc-src/IsarImplementation/Thy/prelim.thy	Sat May 10 13:26:25 2008 +0200
     2.2 +++ b/doc-src/IsarImplementation/Thy/prelim.thy	Sat May 10 14:13:03 2008 +0200
     2.3 @@ -404,7 +404,7 @@
     2.4  *}
     2.5  
     2.6  
     2.7 -section {* Names *}
     2.8 +section {* Names \label{sec:names} *}
     2.9  
    2.10  text {*
    2.11    In principle, a name is just a string, but there are various