Disabled Stefancs code generator - already enabled in RealDef.

--- a/src/HOL/Library/Executable_Real.thy	Sat May 19 11:33:57 2007 +0200
+++ b/src/HOL/Library/Executable_Real.thy	Sat May 19 13:40:33 2007 +0200
@@ -479,6 +479,7 @@
   RealDef Real
   Executable_Real Real
 
+(* There is already an implementation in RealDef
 types_code real ("{* int * int *}")
 attach (term_of) {*
 fun term_of_real (p, q) =
@@ -492,5 +493,5 @@
 *}
 
 consts_code INum ("")
-
-end
\ No newline at end of file
+*)
+end