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