Renamed wf_rec to wfrec in consts_code declaration.

--- a/src/HOL/Wellfounded_Recursion.thy	Mon Sep 26 17:14:48 2005 +0200
+++ b/src/HOL/Wellfounded_Recursion.thy	Mon Sep 26 19:04:31 2005 +0200
@@ -283,9 +283,9 @@
 subsection {* Code generator setup *}
 
 consts_code
-  "wfrec"   ("\<module>wf'_rec?")
+  "wfrec"   ("\<module>wfrec?")
 attach {*
-fun wf_rec f x = f (wf_rec f) x;
+fun wfrec f x = f (wfrec f) x;
 *}