removed dependence on Cfun.thy

--- a/src/HOLCF/TypedefPcpo.thy	Thu May 26 00:30:24 2005 +0200
+++ b/src/HOLCF/TypedefPcpo.thy	Thu May 26 00:31:48 2005 +0200
@@ -138,9 +138,6 @@
  apply (simp only: less type_definition.Abs_inverse [OF type f_in_A])
 done
 
-lemmas typedef_cont_Abs2 =
-  typedef_cont_Abs [OF _ _ _ _ cont_Rep_CFun2]
-
 
 subsection {* Proving a typedef is pointed *}