# HG changeset patch
# User haftmann
# Date 1290880264 -3600
# Node ID 6975c4d83ffd18e1fd9330f54ed0430f5a510a02
# Parent  6bff052e4f48bd45beb1ec7bf91d1c4053c9a6b4
added label

diff -r 6bff052e4f48 -r 6975c4d83ffd doc-src/Codegen/Thy/Evaluation.thy
--- a/doc-src/Codegen/Thy/Evaluation.thy	Sat Nov 27 12:02:19 2010 +0100
+++ b/doc-src/Codegen/Thy/Evaluation.thy	Sat Nov 27 18:51:04 2010 +0100
@@ -2,7 +2,7 @@
 imports Setup
 begin
 
-section {* Evaluation *}
+section {* Evaluation \label{sec:evaluation} *}
 
 text {*
   Recalling \secref{sec:principle}, code generation turns a system of