# HG changeset patch
# User huffman
# Date 1213301547 -7200
# Node ID 51f3f3557ef4ee70fcba34b5c044a5426cb25a25
# Parent  8f29fed3dc9a28f90dba115ab65ec22d20c0b206
imports Ffun

diff -r 8f29fed3dc9a -r 51f3f3557ef4 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