src/HOL/Tools/inductive_codegen.ML
changeset 14859 b4be6bdcbb94
parent 14560 529464cffbfe
child 14981 e73f8140af78
     1.1 --- a/src/HOL/Tools/inductive_codegen.ML	Tue Jun 01 14:59:22 2004 +0200
     1.2 +++ b/src/HOL/Tools/inductive_codegen.ML	Tue Jun 01 14:59:54 2004 +0200
     1.3 @@ -563,8 +563,8 @@
     1.4  
     1.5  fun ?! s = is_some (Seq.pull s);    
     1.6  
     1.7 -fun op__61__1 x = Seq.single x;
     1.8 +fun op_61__1 x = Seq.single x;
     1.9  
    1.10 -val op__61__2 = op__61__1;
    1.11 +val op_61__2 = op_61__1;
    1.12  
    1.13 -fun op__61__1_2 (x, y) = ?? (x = y);
    1.14 +fun op_61__1_2 (x, y) = ?? (x = y);