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.
renamed flatdom2monofun to flatdom_strict2mono
authorhuffman
Fri, 01 Jul 2005 01:50:46 +0200
changeset 16625 53d4e0f2839b
parent 16624 645b9560f3fd
child 16626 d28314d2dce3
renamed flatdom2monofun to flatdom_strict2mono
src/HOLCF/Cont.ML file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/Cont.ML	Fri Jul 01 01:50:07 2005 +0200
+++ b/src/HOLCF/Cont.ML	Fri Jul 01 01:50:46 2005 +0200
@@ -33,6 +33,6 @@
 val cont_id = thm "cont_id";
 val cont_const = thm "cont_const";
 val cont2cont_app3 = thm "cont2cont_app3";
-val flatdom2monofun = thm "flatdom2monofun";
 val chfindom_monofun2cont = thm "chfindom_monofun2cont";
+val flatdom_strict2mono = thm "flatdom_strict2mono";
 val flatdom_strict2cont = thm "flatdom_strict2cont";
isabelle