# HG changeset patch
# User wenzelm
# Date 1210421600 -7200
# Node ID 691f35f855cdd43be5c8edfdf9192feec04e3265
# Parent  336dfd860744360e307042ce3287afb9c054e7ef
updated generated file;

diff -r 336dfd860744 -r 691f35f855cd doc-src/IsarImplementation/Thy/document/logic.tex
--- a/doc-src/IsarImplementation/Thy/document/logic.tex	Sat May 10 14:13:03 2008 +0200
+++ b/doc-src/IsarImplementation/Thy/document/logic.tex	Sat May 10 14:13:20 2008 +0200
@@ -438,7 +438,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 %
-\isamarkupsubsection{Primitive connectives and rules \label{sec:prim_rules}%
+\isamarkupsubsection{Primitive connectives and rules \label{sec:prim-rules}%
 }
 \isamarkuptrue%
 %
diff -r 336dfd860744 -r 691f35f855cd doc-src/IsarImplementation/Thy/document/prelim.tex
--- a/doc-src/IsarImplementation/Thy/document/prelim.tex	Sat May 10 14:13:03 2008 +0200
+++ b/doc-src/IsarImplementation/Thy/document/prelim.tex	Sat May 10 14:13:20 2008 +0200
@@ -474,7 +474,7 @@
 %
 \endisadelimmlref
 %
-\isamarkupsection{Names%
+\isamarkupsection{Names \label{sec:names}%
 }
 \isamarkuptrue%
 %