Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adm now imports Ffun rather than Cont, because SetPcpo, which imports Adm,
authorberghofe
Wed, 07 May 2008 10:59:51 +0200
changeset 26836 0e72627ced0e
parent 26835 404550067389
child 26837 535290c908ae
Adm now imports Ffun rather than Cont, because SetPcpo, which imports Adm, needs functions (since sets are now just functions).
src/HOLCF/Adm.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle