--- a/src/HOLCF/Completion.thy Wed Nov 10 14:59:52 2010 -0800
+++ b/src/HOLCF/Completion.thy Wed Nov 10 17:56:08 2010 -0800
@@ -5,7 +5,7 @@
header {* Defining algebraic domains by ideal completion *}
theory Completion
-imports Cfun
+imports Plain_HOLCF
begin
subsection {* Ideals over a preorder *}