src/HOLCF/UpperPD.thy

--- a/src/HOLCF/UpperPD.thy	Fri Oct 29 16:51:40 2010 -0700
+++ b/src/HOLCF/UpperPD.thy	Fri Oct 29 17:15:28 2010 -0700
@@ -252,7 +252,7 @@
 lemma compact_upper_unit_iff [simp]: "compact {x}\<sharp> \<longleftrightarrow> compact x"
 apply (safe elim!: compact_upper_unit)
 apply (simp only: compact_def upper_unit_below_iff [symmetric])
-apply (erule adm_subst [OF cont_Rep_CFun2])
+apply (erule adm_subst [OF cont_Rep_cfun2])
 done
 
 lemma compact_upper_plus [simp]: