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.
imports Ffun
authorhuffman
Thu, 12 Jun 2008 22:12:27 +0200
changeset 27180 51f3f3557ef4
parent 27179 8f29fed3dc9a
child 27181 e1e9b210d699
imports Ffun
src/HOLCF/SetPcpo.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle