src/HOLCF/Tools/holcf_library.ML

--- a/src/HOLCF/Tools/holcf_library.ML	Fri Oct 29 16:51:40 2010 -0700
+++ b/src/HOLCF/Tools/holcf_library.ML	Fri Oct 29 17:15:28 2010 -0700
@@ -76,10 +76,10 @@
   | dest_cfunT T = raise TYPE ("dest_cfunT", [T], []);
 
 fun capply_const (S, T) =
-  Const(@{const_name Rep_CFun}, (S ->> T) --> (S --> T));
+  Const(@{const_name Rep_cfun}, (S ->> T) --> (S --> T));
 
 fun cabs_const (S, T) =
-  Const(@{const_name Abs_CFun}, (S --> T) --> (S ->> T));
+  Const(@{const_name Abs_cfun}, (S --> T) --> (S ->> T));
 
 fun mk_cabs t =
   let val T = fastype_of t