# HG changeset patch
# User berghofe
# Date 1210150791 -7200
# Node ID 0e72627ced0e353804a19b8a57ab1bfaed76c947
# Parent  4045500673892378ffd753ce3266d38323115ccc
Adm now imports Ffun rather than Cont, because SetPcpo, which imports Adm,
needs functions (since sets are now just functions).

diff -r 404550067389 -r 0e72627ced0e src/HOLCF/Adm.thy
--- 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