diff -r 5c6f44d22f51 -r d5f0e556ffd3 doc-src/Codegen/Thy/document/Evaluation.tex
--- a/doc-src/Codegen/Thy/document/Evaluation.tex	Wed Dec 15 09:47:12 2010 +0100
+++ b/doc-src/Codegen/Thy/document/Evaluation.tex	Wed Dec 15 10:06:36 2010 +0100
@@ -231,7 +231,7 @@
     & conversion & \ttsize\verb|Code_Simp.dynamic_conv| & \ttsize\verb|Nbe.dynamic_conv|
       & \ttsize\verb|Code_Evaluation.dynamic_conv| \tabularnewline \hline \hline
     \multirow{3}{1ex}{\rotatebox{90}{static}}
-      & plain evaluation & & & \ttsize\verb|Code_Evaluation.static_value| \tabularnewline \cline{2-5}
+    & plain evaluation & & & \ttsize\verb|Code_Evaluation.static_value| \tabularnewline \cline{2-5}
     & property conversion & &
       & \ttsize\verb|Code_Runtime.static_holds_conv| \tabularnewline \cline{2-5}
     & conversion & \ttsize\verb|Code_Simp.static_conv|