--- a/src/HOL/Library/Groups_Big_Fun.thy Sat Nov 14 08:45:51 2015 +0100
+++ b/src/HOL/Library/Groups_Big_Fun.thy Sat Nov 14 08:45:52 2015 +0100
@@ -5,7 +5,6 @@
theory Groups_Big_Fun
imports
Main
- "~~/src/Tools/Permanent_Interpretation"
begin
subsection \<open>Abstract product\<close>