src/HOL/IMP/Abs_Int_Den/Abs_Int_den0_fun.thy

--- a/src/HOL/IMP/Abs_Int_Den/Abs_Int_den0_fun.thy	Sat Nov 14 08:45:51 2015 +0100
+++ b/src/HOL/IMP/Abs_Int_Den/Abs_Int_den0_fun.thy	Sat Nov 14 08:45:52 2015 +0100
@@ -3,7 +3,7 @@
 section "Denotational Abstract Interpretation"
 
 theory Abs_Int_den0_fun
-imports "~~/src/Tools/Permanent_Interpretation" "../Big_Step"
+imports "../Big_Step"
 begin
 
 subsection "Orderings"