src/HOLCF/Cprod.thy

--- a/src/HOLCF/Cprod.thy	Mon Oct 11 16:24:44 2010 -0700
+++ b/src/HOLCF/Cprod.thy	Mon Oct 11 21:35:31 2010 -0700
@@ -51,7 +51,7 @@
 unfolding cprod_map_def by simp
 
 lemma cprod_map_ID: "cprod_map\<cdot>ID\<cdot>ID = ID"
-unfolding expand_cfun_eq by auto
+unfolding cfun_eq_iff by auto
 
 lemma cprod_map_map:
   "cprod_map\<cdot>f1\<cdot>g1\<cdot>(cprod_map\<cdot>f2\<cdot>g2\<cdot>p) =