1.1 --- a/test/Tools/isac/OLDTESTS/subp-rooteq.sml	Sat Feb 10 16:21:12 2018 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/subp-rooteq.sml	Tue Feb 13 15:14:55 2018 +0100
     1.3 @@ -500,7 +500,7 @@
     1.4  val (mI,m) = ("Init_Proof",Init_Proof (fmz, (dI',pI',mI')));
     1.5  val (p,_,f,nxt,_,pt) = me (mI,m) p c EmptyPtree;*)
     1.6  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
     1.7 -(*val nxt = ("Model_Problem",Model_Problem ["normalize","univariate","equati*)
     1.8 +(*val nxt = ("Model_Problem",Model_Problem ["normalise","univariate","equati*)
     1.9  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.10  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.11  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.12 @@ -528,7 +528,7 @@
    1.13  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.14  (*val nxt = ("Check_Postcond",Check_Postcond ["LINEAR","univariate","equatio*)
    1.15  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.16 -(*val nxt = ("Check_Postcond",Check_Postcond ["normalize","univariate","equa*)
    1.17 +(*val nxt = ("Check_Postcond",Check_Postcond ["normalise","univariate","equa*)
    1.18  val (p,_,Form' (FormKF (_,_,_,_,f)),nxt,_,_) = 
    1.19      me nxt p c pt;
    1.20  if f="[x = 5]" andalso nxt=("End_Proof'",End_Proof') then ()