1.1 --- a/test/Tools/isac/Minisubpbl/150a-add-given-Maximum.sml	Mon Nov 20 10:49:54 2023 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/150a-add-given-Maximum.sml	Fri Nov 24 15:34:07 2023 +0100
     1.3 @@ -292,7 +292,7 @@
     1.4      val descr = Pre_Conds.get_dscr'' feedb (*i_single has been filtered appropriately*)
     1.5    (*in*)
     1.6  val false =
     1.7 -    (*if*) Pre_Conds.is_list_descr descr (*else*);
     1.8 +    (*if*) Model_Def.is_list_descr descr (*else*);
     1.9  val return_fill_from_o_STEP = SOME (i, vnts, bool, m_field,
    1.10        (Inc_TEST (descr, all_value), pos))
    1.11  (*\------------------- step into me_add_find_Constants -------------------------------------//*)
    1.12 @@ -865,7 +865,7 @@
    1.13          SOME (_, _, m_field, _, ts) =>  (m_field, ts)
    1.14      val descr = Pre_Conds.get_dscr'' feedb (*i_single has been filtered appropriately*)
    1.15  val false =
    1.16 -    (*if*) Pre_Conds.is_list_descr descr (*else*);
    1.17 +    (*if*) Model_Def.is_list_descr descr (*else*);
    1.18  val return_fill_from_o_STEP = SOME (i, vnts, bool, m_field, (Cor_TEST (descr, all_value), pos))
    1.19  (*-------------------- stopped after ERROR found ---------------------------------------------*)
    1.20  (*\\\\\ \\\----------- step into fill_from_o -----------------------------------------------//*)
    1.21 @@ -885,7 +885,7 @@
    1.22  
    1.23  val (p,_,f,nxt,_,pt) = return_me_Specify_Method;
    1.24                                        val Add_Given "FunctionVariable a" = nxt;
    1.25 -val (p,_,f,nxt,_,pt) = me nxt p c pt; val Add_Given "Input_Descript.Domain ({0<..<r})" = nxt
    1.26 +val (p,_,f,nxt,_,pt) = me nxt p c pt; val Add_Given "Input_Descript.Domain {0<..<r}" = nxt
    1.27  val (p,_,f,nxt,_,pt) = me nxt p c pt; val Add_Given "ErrorBound (\<epsilon> = 0)" = nxt;
    1.28  (*ErRoR type_of: type mismatch in application, bool, bool list, (#) [r = 7] --> 200a-start-method
    1.29  val (p,_,f,nxt,_,pt) = me nxt p c pt; val Apply_Method xxx = nxt