src/HOL/Library/Eval.thy

--- a/src/HOL/Library/Eval.thy	Fri Apr 13 21:26:34 2007 +0200
+++ b/src/HOL/Library/Eval.thy	Fri Apr 13 21:26:35 2007 +0200
@@ -151,4 +151,4 @@
 end;
 *}
 
-end
\ No newline at end of file
+end