# HG changeset patch
# User huffman
# Date 1120175446 -7200
# Node ID 53d4e0f2839baf8d598a7f9913b5e9b65ec3ac42
# Parent  645b9560f3fd36aeedafcd5915a9f3c49e68de72
renamed flatdom2monofun to flatdom_strict2mono

diff -r 645b9560f3fd -r 53d4e0f2839b src/HOLCF/Cont.ML
--- 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";