# 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 +