1.1 --- a/test/Tools/isac/MathEngBasic/mstools.sml	Mon Dec 23 15:41:36 2019 +0100
     1.2 +++ b/test/Tools/isac/MathEngBasic/mstools.sml	Mon Dec 23 16:38:09 2019 +0100
     1.3 @@ -65,7 +65,7 @@
     1.4  		val pb = foldl and_ (true, map fst pre);
     1.5  val (_,tac) = nxt_spec p_ pb oris (dI',pI',mI') (probl, meth) 
     1.6  			    (ppc, (#ppc o get_met) cmI) (dI, pI, mI); (*tac = Add_Given "equality (-1 + x = 0)"*)
     1.7 -"~~~~~ fun nxt_specif, args:"; val (Add_Given ct, ptp) = (tac, ptp);
     1.8 +"~~~~~ fun Step_Specify.by_tactic, args:"; val (Add_Given ct, ptp) = (tac, ptp);
     1.9  "~~~~~ fun nxt_specif_additem, args:"; val (sel, ct, ptp as (pt, (p, Pbl))) = ("#Given", ct, ptp);
    1.10  val (PblObj{meth=met,origin=(oris,(dI',pI',_),_),
    1.11  		  probl=pbl,spec=(dI,pI,_),...}) = get_obj I pt p;
    1.12 @@ -88,7 +88,7 @@
    1.13  Err "[error] appl_add: is_known: identifiers [equality] not in example"*)
    1.14  nxt_specif_additem "#Given" ct ptp;(*WAS
    1.15  Tac "[error] appl_add: is_known: identifiers [equality] not in example"*)
    1.16 -nxt_specif tac ptp;(*WAS
    1.17 +Step_Specify.by_tactic tac ptp;(*WAS
    1.18  Tac "[error] appl_add: is_known: identifiers [equality] not in example"*)
    1.19  nxt_specify_ (pt,ip); (*WAS
    1.20  Tac "[error] appl_add: is_known: identifiers [equality] not in example"*)