--- 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]]