1.1 --- a/src/Tools/isac/ProgLang/Auto_Prog.thy	Wed Aug 24 17:21:14 2022 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Auto_Prog.thy	Wed Aug 24 18:29:33 2022 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4      val subpbl: string -> string list -> term
     1.5      val stacpbls: term -> term list
     1.6      val op_of_calc: term -> string
     1.7 -    val get_calcs: theory -> term -> (Eval_Def.prog_calcID * (Eval_Def.calID * Eval_Def.eval_fn)) list
     1.8 +    val get_calcs: theory -> term -> (Eval_Def.prog_id * (Eval_Def.const_id * Eval_Def.ml_fun)) list
     1.9      val prep_rls: theory -> Rule_Set.T -> Rule_Set.T (*ren insert*)
    1.10      val gen: theory -> term -> Rule_Set.T -> term
    1.11  \<^isac_test>\<open>