src/HOL/BNF/Tools/bnf_fp_def_sugar.ML
changeset 51788 5fe72280a49f
parent 51787 1267c28c7bdd
child 51790 22517d04d20b
     1.1 --- a/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Fri Apr 26 11:04:45 2013 +0200
     1.2 +++ b/src/HOL/BNF/Tools/bnf_fp_def_sugar.ML	Fri Apr 26 11:04:46 2013 +0200
     1.3 @@ -31,7 +31,7 @@
     1.4  open BNF_FP
     1.5  open BNF_FP_Def_Sugar_Tactics
     1.6  
     1.7 -val EqN = "Eq";
     1.8 +val EqN = "Eq_";
     1.9  
    1.10  (* This function could produce clashes in contrived examples (e.g., "x.A", "x.x_A", "y.A"). *)
    1.11  fun quasi_unambiguous_case_names names =