# HG changeset patch
# User haftmann
# Date 1329591974 -3600
# Node ID 4f7780086991331b43d4c93833f560cc8d86d954
# Parent  2659ee0128c202e75237a3ba366bb1efa93959c9
tuned whitespace

diff -r 2659ee0128c2 -r 4f7780086991 doc-src/Codegen/Thy/Further.thy
--- a/doc-src/Codegen/Thy/Further.thy	Sat Feb 18 11:31:35 2012 +0100
+++ b/doc-src/Codegen/Thy/Further.thy	Sat Feb 18 20:06:14 2012 +0100
@@ -348,3 +348,4 @@
 *}
 
 end
+