diff -r 5975839e8d25 -r 2525e680f94f src/Doc/Codegen/document/root.tex
--- a/src/Doc/Codegen/document/root.tex	Wed Feb 22 16:21:26 2017 +0000
+++ b/src/Doc/Codegen/document/root.tex	Wed Feb 22 20:24:50 2017 +0100
@@ -36,6 +36,7 @@
 \input{Refinement.tex}
 \input{Inductive_Predicate.tex}
 \input{Evaluation.tex}
+\input{Computations.tex}
 \input{Adaptation.tex}
 \input{Further.tex}