# HG changeset patch
# User haftmann
# Date 1265645538 -3600
# Node ID 7c761a4bd91f9c462469741eeb17f9b0ddab867c
# Parent  07dbdf60d5adb4966405b9bcc53dd7831cd69689
tuned header

diff -r 07dbdf60d5ad -r 7c761a4bd91f src/HOL/Decision_Procs/Decision_Procs.thy
--- a/src/HOL/Decision_Procs/Decision_Procs.thy	Mon Feb 08 14:22:22 2010 +0100
+++ b/src/HOL/Decision_Procs/Decision_Procs.thy	Mon Feb 08 17:12:18 2010 +0100
@@ -2,7 +2,8 @@
 
 theory Decision_Procs
 imports
-  Commutative_Ring Cooper Ferrack MIR Approximation Dense_Linear_Order Parametric_Ferrante_Rackoff
+  Commutative_Ring Cooper Ferrack MIR Approximation Dense_Linear_Order
+  Parametric_Ferrante_Rackoff
   Commutative_Ring_Complete
   "ex/Commutative_Ring_Ex" "ex/Approximation_Ex" "ex/Dense_Linear_Order_Ex"
 begin