diff -r 365758b39d90 -r 1b072aab8f4e src/Tools/isac/MathEngBasic/ctree-basic-TEST.sml
--- a/src/Tools/isac/MathEngBasic/ctree-basic-TEST.sml	Fri Dec 01 05:51:18 2023 +0100
+++ b/src/Tools/isac/MathEngBasic/ctree-basic-TEST.sml	Fri Dec 01 06:08:22 2023 +0100
@@ -7,7 +7,7 @@
           BASIC_CALC_TREE
 *)
 
-signature BASIC_CALC_TREE_TEST =
+signature BASIC_CALC_TREE_POS =
 sig
 (**** signature ****)
 (** the basic datatype **)
@@ -46,8 +46,8 @@
   val g_spec : ppobj -> References_Def.T
   val g_loc : ppobj -> (Istate_Def.T * Proof.context) option * (Istate_Def.T * Proof.context) option
   val g_form : ppobj -> term
-  val g_pbl : ppobj -> Model_Def.i_model_TEST
-  val g_met : ppobj -> Model_Def.i_model_TEST
+  val g_pbl : ppobj -> Model_Def.i_model_POS
+  val g_met : ppobj -> Model_Def.i_model_POS
   val g_metID : ppobj -> MethodC.id
   val g_result : ppobj -> Celem.result
   val g_tac : ppobj -> Tactic.input
@@ -106,7 +106,7 @@
 end
 
 (**)
-structure CTbasic_TEST(**): BASIC_CALC_TREE_TEST(**) =
+structure CTbasic_POS(**): BASIC_CALC_TREE_POS(**) =
 struct
 (**)
 open Pos
@@ -181,8 +181,8 @@
 	           References_Def.T *  (* updated by Refine_Tacitly                                  *)
 	           term,            (* headline of calc-head, as calculated initially(!)             *)
     spec  : References_Def.T, (* explicitly input                                              *)
-    probl : Model_Def.i_model_TEST,(* = I_Model.T for interactive input to a Problem                *)
-    meth  : Model_Def.i_model_TEST,(* = I_Model.T for interactive input to a MethodC                *)
+    probl : Model_Def.i_model_POS,(* = I_Model.T for interactive input to a Problem                *)
+    meth  : Model_Def.i_model_POS,(* = I_Model.T for interactive input to a MethodC                *)
     ctxt  : Proof.context,    (* used while specifying this (Sub-)Problem and MethodC          *)
     loc   : (Istate_Def.T * Proof.context) option  (* like in PrfObj, calling this SubProblem  *)
           * (Istate_Def.T * Proof.context) option, (* like in PrfObj, finishing the SubProblem *)