src/HOLCF/SetPcpo.thy

--- a/src/HOLCF/SetPcpo.thy	Thu Jun 12 18:54:31 2008 +0200
+++ b/src/HOLCF/SetPcpo.thy	Thu Jun 12 22:12:27 2008 +0200
@@ -6,7 +6,7 @@
 header {* Set as a pointed cpo *}
 
 theory SetPcpo
-imports Adm
+imports Adm Ffun
 begin
 
 instantiation bool :: po