1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Apr 22 11:23:30 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Apr 22 14:36:27 2020 +0200
     1.3 @@ -276,15 +276,15 @@
     1.4  val pt = update_met    pt [] [];
     1.5  (*
     1.6  > get_obj g_spec pt [];
     1.7 -val it = ("thy_empty_id",["e_pblID"],("thy_empty_id","e_metID")) : spec
     1.8 +val it = ("empty_thy_id",["empty_probl_id"],("empty_thy_id","empty_meth_id")) : spec
     1.9  > val pt = update_domID  pt [] "RatArith";
    1.10  > get_obj g_spec pt [];
    1.11 -val it = ("RatArith",["e_pblID"],("thy_empty_id","e_metID")) : spec
    1.12 +val it = ("RatArith",["empty_probl_id"],("empty_thy_id","empty_meth_id")) : 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 -   ("thy_empty_id","e_metID")) : spec
    1.18 +   ("empty_thy_id","empty_meth_id")) : 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 @@ -413,7 +413,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 = ("thy_empty_id",["e_pblID"],("thy_empty_id","e_metID")) : spec*)
    1.27 +val it = ("empty_thy_id",["empty_probl_id"],("empty_thy_id","empty_meth_id")) : 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;