diff -r 73d45866dbda -r 1dfdbd66093a src/HOLCF/Tools/Domain/domain_isomorphism.ML
--- a/src/HOLCF/Tools/Domain/domain_isomorphism.ML	Fri Oct 29 16:51:40 2010 -0700
+++ b/src/HOLCF/Tools/Domain/domain_isomorphism.ML	Fri Oct 29 17:15:28 2010 -0700
@@ -155,7 +155,7 @@
     (* convert parameters to lambda abstractions *)
     fun mk_eqn (lhs, rhs) =
         case lhs of
-          Const (@{const_name Rep_CFun}, _) $ f $ (x as Free _) =>
+          Const (@{const_name Rep_cfun}, _) $ f $ (x as Free _) =>
             mk_eqn (f, big_lambda x rhs)
         | f $ Const (@{const_name TYPE}, T) =>
             mk_eqn (f, Abs ("t", T, rhs))