
diff -r 5b9d79c6323b -r 02dd825f5a4e src/CCL/Set.thy
--- a/src/CCL/Set.thy	Tue Jul 24 13:22:06 2012 +0200
+++ b/src/CCL/Set.thy	Tue Jul 24 14:07:44 2012 +0200
@@ -1,7 +1,7 @@
 header {* Extending FOL by a modified version of HOL set theory *}
 
 theory Set
-imports FOL
+imports "~~/src/FOL/FOL"
 begin
 
 declare [[eta_contract]]




