1.1 --- a/src/Tools/isac/BaseDefinitions/method-def.sml	Wed Aug 03 18:17:27 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/method-def.sml	Thu Aug 04 12:48:37 2022 +0200
     1.3 @@ -37,7 +37,7 @@
     1.4    {guh       : Check_Unique.id,   (* unique within Isac_Knowledge, for html-presentation      *)
     1.5    mathauthors: string list,       (* copyright                                                *)
     1.6    init       : References_Def.id, (* DEL: WN060721 pblID introduced mistakenly                *)
     1.7 -  rew_ord'   : Rule_Def.rew_ord', (* for ordered rewriting by Tactic.Rewrite                  *)
     1.8 +  rew_ord'   : Rewrite_Ord.id,    (* for ordered rewriting by Tactic.Rewrite                  *)
     1.9    erls       : Rule_Set.T,        (* for conditions in rewriting by Tactic.Rewrite            *)
    1.10    srls       : Rule_Set.T,        (* for evaluating Prog_Expr                                 *)
    1.11    crls       : Rule_Set.T,        (* DEL: for check_elementwise                               *)
    1.12 @@ -50,7 +50,7 @@
    1.13                                       for constraints on identifiers see "O_Model.copy_name"   *)
    1.14    pre        : term list          (* ? DEL, as soon as they are input interactively ?         *)
    1.15  	};
    1.16 -val empty = {guh = "met_empty", mathauthors = [], init = id_empty, rew_ord' = Rewrite_Ord.e_rew_ord',
    1.17 +val empty = {guh = "met_empty", mathauthors = [], init = id_empty, rew_ord' = Rewrite_Ord.id_empty,
    1.18  	erls = Rule_Set.empty, srls = Rule_Set.empty, prls = Rule_Set.empty, calc = [], crls = Rule_Set.empty,
    1.19  	errpats = [], nrls = Rule_Set.empty, ppc = [], pre = [], scr = Rule.Empty_Prog};
    1.20  val empty_store = Store.Node ("empty_meth_id", [empty],[]);