src/HOL/Tools/Nunchaku/nunchaku_problem.ML

     {nice_of_ugly: string Symtab.table,
      ugly_of_nice: string Symtab.table}
 
   val nun_abstract: string
   val nun_and: string
-  val nun_anon_fun_prefix: string
   val nun_arrow: string
   val nun_asserting: string
   val nun_assign: string
   val nun_at: string
   val nun_axiom: string

   val nun_copred: string
   val nun_copy: string
   val nun_data: string
   val nun_disj: string
   val nun_dollar: string
+  val nun_dollar_anon_fun_prefix: string
   val nun_dot: string
   val nun_dummy: string
   val nun_else: string
   val nun_end: string
   val nun_equals: string

   {nice_of_ugly: string Symtab.table,
    ugly_of_nice: string Symtab.table};
 
 val nun_abstract = "abstract";
 val nun_and = "and";
-val nun_anon_fun_prefix = "anon_fun_";
 val nun_arrow = "->";
 val nun_asserting = "asserting";
 val nun_assign = ":=";
 val nun_at = "@";
 val nun_axiom = "axiom";

 val nun_copred = "copred";
 val nun_copy = "copy";
 val nun_data = "data";
 val nun_disj = "||";
 val nun_dollar = "$";
+val nun_dollar_anon_fun_prefix = "$anon_fun_";
 val nun_dot = ".";
 val nun_dummy = "_";
 val nun_else = "else";
 val nun_end = "end";
 val nun_equals = "=";