--- a/src/HOLCF/Adm.thy Wed May 07 10:59:50 2008 +0200 +++ b/src/HOLCF/Adm.thy Wed May 07 10:59:51 2008 +0200 @@ -6,7 +6,7 @@ header {* Admissibility and compactness *} theory Adm -imports Cont +imports Ffun begin defaultsort cpo