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