1.1 --- a/doc-src/Codegen/Thy/document/Evaluation.tex	Sat Nov 27 18:51:04 2010 +0100
     1.2 +++ b/doc-src/Codegen/Thy/document/Evaluation.tex	Sat Nov 27 18:51:15 2010 +0100
     1.3 @@ -18,7 +18,7 @@
     1.4  %
     1.5  \endisadelimtheory
     1.6  %
     1.7 -\isamarkupsection{Evaluation%
     1.8 +\isamarkupsection{Evaluation \label{sec:evaluation}%
     1.9  }
    1.10  \isamarkuptrue%
    1.11  %