1.1 --- a/doc-src/Codegen/Thy/Evaluation.thy	Sat Nov 27 12:02:19 2010 +0100
     1.2 +++ b/doc-src/Codegen/Thy/Evaluation.thy	Sat Nov 27 18:51:04 2010 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4  imports Setup
     1.5  begin
     1.6  
     1.7 -section {* Evaluation *}
     1.8 +section {* Evaluation \label{sec:evaluation} *}
     1.9  
    1.10  text {*
    1.11    Recalling \secref{sec:principle}, code generation turns a system of