--- a/doc-src/IsarImplementation/Thy/document/proof.tex Thu Oct 09 18:16:07 2008 +0200
+++ b/doc-src/IsarImplementation/Thy/document/proof.tex Thu Oct 09 19:24:21 2008 +0200
@@ -278,7 +278,7 @@
%
\endisadelimmlref
%
-\isamarkupsection{Results%
+\isamarkupsection{Results \label{sec:results}%
}
\isamarkuptrue%
%
--- a/doc-src/IsarImplementation/Thy/proof.thy Thu Oct 09 18:16:07 2008 +0200
+++ b/doc-src/IsarImplementation/Thy/proof.thy Thu Oct 09 19:24:21 2008 +0200
@@ -247,7 +247,7 @@
*}
-section {* Results *}
+section {* Results \label{sec:results} *}
text {*
Local results are established by monotonic reasoning from facts