# HG changeset patch
# User haftmann
# Date 1449153180 -3600
# Node ID b319013d2d33302a83576d926e262f38cb754e0a
# Parent  9ace5e8310dca17fe3b7755f77a095cc7ddba6f2
moved section according to supposed order of interest

diff -r 9ace5e8310dc -r b319013d2d33 src/Doc/Codegen/document/root.tex
--- 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