diff -r ce09935439b3 -r 2e0b7ca391dc src/Tools/isac/BaseDefinitions/Know_Store.thy
--- a/src/Tools/isac/BaseDefinitions/Know_Store.thy	Wed Aug 03 18:17:27 2022 +0200
+++ b/src/Tools/isac/BaseDefinitions/Know_Store.thy	Thu Aug 04 12:48:37 2022 +0200
@@ -68,8 +68,8 @@
 *)
 signature KESTORE_ELEMS =
 sig
-  val get_rew_ord: theory -> Rewrite_Ord.rew_ord list
-  val add_rew_ord: Rewrite_Ord.rew_ord list -> theory -> theory
+  val get_rew_ord: theory -> Rewrite_Ord.T list
+  val add_rew_ord: Rewrite_Ord.T list -> theory -> theory
   val get_rlss: theory -> (Rule_Set.id * (ThyC.id * Rule_Set.T)) list
   val add_rlss: (Rule_Set.id * (ThyC.id * Rule_Set.T)) list -> theory -> theory
   val get_calcs: theory -> (Eval_Def.prog_calcID * (Eval_Def.calID * Eval_Def.eval_fn)) list