src/HOL/Decision_Procs/MIR.thy

--- a/src/HOL/Decision_Procs/MIR.thy	Wed Dec 29 13:51:17 2010 +0100
+++ b/src/HOL/Decision_Procs/MIR.thy	Wed Dec 29 17:34:41 2010 +0100
@@ -3,7 +3,7 @@
 *)
 
 theory MIR
-imports Complex_Main Dense_Linear_Order Efficient_Nat
+imports Complex_Main Dense_Linear_Order "~~/src/HOL/Library/Efficient_Nat"
 uses ("mir_tac.ML")
 begin