Adapted to new name mangling function.

--- a/src/HOL/Tools/inductive_codegen.ML	Tue Jun 01 14:59:22 2004 +0200
+++ b/src/HOL/Tools/inductive_codegen.ML	Tue Jun 01 14:59:54 2004 +0200
@@ -563,8 +563,8 @@
 
 fun ?! s = is_some (Seq.pull s);    
 
-fun op__61__1 x = Seq.single x;
+fun op_61__1 x = Seq.single x;
 
-val op__61__2 = op__61__1;
+val op_61__2 = op_61__1;
 
-fun op__61__1_2 (x, y) = ?? (x = y);
+fun op_61__1_2 (x, y) = ?? (x = y);