diff -r addcdf0dd283 -r 2b1e87b3967f doc-src/Codegen/Thy/Evaluation.thy
--- a/doc-src/Codegen/Thy/Evaluation.thy	Sat Feb 18 20:12:30 2012 +0100
+++ b/doc-src/Codegen/Thy/Evaluation.thy	Sat Feb 18 20:12:37 2012 +0100
@@ -284,3 +284,4 @@
 *}
 
 end
+