1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Fri May 27 12:07:55 2022 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Fri May 27 15:12:54 2022 +0200
     1.3 @@ -268,15 +268,15 @@
     1.4  val pt = update_met    pt [] [];
     1.5  (*
     1.6  > get_obj g_spec pt [];
     1.7 -val it = ("empty_thy_id",["empty_probl_id"],("empty_thy_id", "empty_meth_id")) : spec
     1.8 +val it = (ThyC.id_empty,Problem.id_empty,(ThyC.id_empty, MethodC.id_empty)) : spec
     1.9  > val pt = update_domID  pt [] "RatArith";
    1.10  > get_obj g_spec pt [];
    1.11 -val it = ("RatArith",["empty_probl_id"],("empty_thy_id", "empty_meth_id")) : spec
    1.12 +val it = ("RatArith",Problem.id_empty,(ThyC.id_empty, MethodC.id_empty)) : spec
    1.13  > val pt = update_pblID  pt [] ["RatArith",
    1.14  			      "equations", "univariate", "square-root"];
    1.15  > get_obj g_spec pt [];
    1.16  ("RatArith",["RatArith", "equations", "univariate", "square-root"],
    1.17 -   ("empty_thy_id", "empty_meth_id")) : spec
    1.18 +   (ThyC.id_empty, MethodC.id_empty)) : spec
    1.19  > val pt = update_metID  pt [] ("RatArith", "sqrt-equ-test");
    1.20  > get_obj g_spec pt [];
    1.21    ("RatArith",["RatArith", "equations", "univariate", "square-root"],
    1.22 @@ -402,7 +402,7 @@
    1.23  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.24  (* val nxt = ("Specify_Theory",Specify_Theory "DiffAppl");
    1.25  > get_obj g_spec pt (fst p);
    1.26 -val it = ("empty_thy_id",["empty_probl_id"],("empty_thy_id", "empty_meth_id")) : spec*)
    1.27 +val it = (ThyC.id_empty,Problem.id_empty,(ThyC.id_empty, MethodC.id_empty)) : spec*)
    1.28  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.29  (*val nxt = ("Specify_Problem", Specify_Problem *)
    1.30  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;