add translation for wildcard pattern

--- a/src/HOLCF/Cfun.thy	Thu Nov 03 01:11:39 2005 +0100
+++ b/src/HOLCF/Cfun.thy	Thu Nov 03 01:28:22 2005 +0100
@@ -86,6 +86,9 @@
   in [("_cabs", cabs_ast_tr')] end;
 *}
 
+translations
+  "\<Lambda> _. t" == "Abs_CFun (\<lambda> _. t)"
+
 subsection {* Continuous function space is pointed *}
 
 lemma UU_CFun: "\<bottom> \<in> CFun"