--- a/src/HOL/Decision_Procs/Decision_Procs.thy Mon Apr 26 07:47:18 2010 +0200
+++ b/src/HOL/Decision_Procs/Decision_Procs.thy Mon Apr 26 11:34:15 2010 +0200
@@ -8,4 +8,4 @@
"ex/Commutative_Ring_Ex" "ex/Approximation_Ex" "ex/Dense_Linear_Order_Ex"
begin
-end
\ No newline at end of file
+end