# HG changeset patch
# User wenzelm
# Date 1223573061 -7200
# Node ID 9b259710d9d3bb47c5213f808c9debdb79fe196b
# Parent  541366e3c1b318130a5310c49e48f7be9bb8ae39
added section label;

diff -r 541366e3c1b3 -r 9b259710d9d3 doc-src/IsarImplementation/Thy/document/proof.tex
--- 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%
 %
diff -r 541366e3c1b3 -r 9b259710d9d3 doc-src/IsarImplementation/Thy/proof.thy
--- 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