# HG changeset patch
# User haftmann
# Date 1329592357 -3600
# Node ID 2b1e87b3967f4c4c9e0f69cfce8fbbecc2c60e3d
# Parent  addcdf0dd283202938496b68a0df1c587d8c76ba
tuned whitespace

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
+
diff -r addcdf0dd283 -r 2b1e87b3967f doc-src/Codegen/Thy/Introduction.thy
--- a/doc-src/Codegen/Thy/Introduction.thy	Sat Feb 18 20:12:30 2012 +0100
+++ b/doc-src/Codegen/Thy/Introduction.thy	Sat Feb 18 20:12:37 2012 +0100
@@ -239,3 +239,4 @@
 *}
 
 end
+