# HG changeset patch
# User haftmann
# Date 1272274455 -7200
# Node ID 0ca616bc6c6f5bc0cbd46760bab242073b7aa00c
# Parent  c25aa1c50ce99f56b34dcbd2fe147cbe76ab220e
line break

diff -r c25aa1c50ce9 -r 0ca616bc6c6f src/HOL/Decision_Procs/Decision_Procs.thy
--- 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