moved section according to supposed order of interest

--- a/src/Doc/Codegen/document/root.tex	Thu Dec 03 08:10:58 2015 +0100
+++ b/src/Doc/Codegen/document/root.tex	Thu Dec 03 15:33:00 2015 +0100
@@ -35,8 +35,8 @@
 \input{Foundations.tex}
 \input{Refinement.tex}
 \input{Inductive_Predicate.tex}
+\input{Evaluation.tex}
 \input{Adaptation.tex}
-\input{Evaluation.tex}
 \input{Further.tex}
 
 \begingroup