added section label;
authorwenzelm
Thu, 09 Oct 2008 19:24:21 +0200
changeset 28541 9b259710d9d3
parent 28540 541366e3c1b3
child 28542 86b39d27b199
added section label;
doc-src/IsarImplementation/Thy/document/proof.tex
doc-src/IsarImplementation/Thy/proof.thy
--- 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