# HG changeset patch
# User wenzelm
# Date 1210421583 -7200
# Node ID 336dfd860744360e307042ce3287afb9c054e7ef
# Parent  996add9defaba85597c12e46bb22f346d8642639
fixed some labels;

diff -r 996add9defab -r 336dfd860744 doc-src/IsarImplementation/Thy/logic.thy
--- 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
diff -r 996add9defab -r 336dfd860744 doc-src/IsarImplementation/Thy/prelim.thy
--- 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