diff -r 9cea8a0e925a -r ec0408c7328b doc-src/Codegen/codegen.tex
--- a/doc-src/Codegen/codegen.tex	Wed Aug 18 10:07:57 2010 +0200
+++ b/doc-src/Codegen/codegen.tex	Wed Aug 18 11:18:23 2010 +0200
@@ -35,6 +35,7 @@
 \input{Thy/document/Refinement.tex}
 \input{Thy/document/Inductive_Predicate.tex}
 \input{Thy/document/Adaptation.tex}
+\input{Thy/document/Evaluation.tex}
 \input{Thy/document/Further.tex}
 
 \begingroup