--- a/src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy Tue Aug 03 16:33:11 2010 +0200
+++ b/src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy Tue Aug 03 16:48:36 2010 +0200
@@ -5,8 +5,8 @@
header{* A formalization of Ferrante and Rackoff's procedure with polynomial parameters, see Paper in CALCULEMUS 2008 *}
theory Parametric_Ferrante_Rackoff
-imports Reflected_Multivariate_Polynomial
- "~~/src/HOL/Decision_Procs/Dense_Linear_Order"
+imports Reflected_Multivariate_Polynomial
+ Dense_Linear_Order
Efficient_Nat
begin