src/LCF/LCF.thy

--- a/src/LCF/LCF.thy	Tue Jul 24 13:22:06 2012 +0200
+++ b/src/LCF/LCF.thy	Tue Jul 24 14:07:44 2012 +0200
@@ -6,7 +6,7 @@
 header {* LCF on top of First-Order Logic *}
 
 theory LCF
-imports FOL
+imports "~~/src/FOL/FOL"
 begin
 
 text {* This theory is based on Lawrence Paulson's book Logic and Computation. *}