--- a/src/ZF/ZF_Base.thy Fri Aug 18 13:55:05 2017 +0200
+++ b/src/ZF/ZF_Base.thy Fri Aug 18 20:47:47 2017 +0200
@@ -6,7 +6,7 @@
section \<open>Base of Zermelo-Fraenkel Set Theory\<close>
theory ZF_Base
-imports "~~/src/FOL/FOL"
+imports FOL
begin
subsection \<open>Signature\<close>