1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Sat May 02 10:57:04 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Sat May 02 11:36:13 2020 +0200
     1.3 @@ -399,10 +399,7 @@
     1.4  val (dI',pI',mI') =
     1.5    ("Test",["sqroot-test","univariate","equation","test"],
     1.6     ("Test","sqrt-equ-test"));
     1.7 -val p = e_pos'; val c = []; 
     1.8 -val (mI,m) = ("Init_Proof",Init_Proof (fmz, (dI',pI',mI')));
     1.9 -
    1.10 -val (p,_,f,nxt,_,pt) = me (mI,m) p c EmptyPtree;
    1.11 +val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.12  (*val nxt = ("Add_Given", Add_Given "equation (sqrt (#9 + #4 * x)  = sqrt x  + sqrt (#5 + x) )");*)
    1.13  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.14  (* val nxt = ("Add_Given",Add_Given "bound_variable x");*)
    1.15 @@ -504,9 +501,6 @@
    1.16    ("Test",["sqroot-test","univariate","equation","test"],
    1.17     ["Test","sqrt-equ-test"]);
    1.18  "--- s1 ---";
    1.19 -(*val p = e_pos'; val c = []; 
    1.20 -val (mI,m) = ("Init_Proof",Init_Proof (fmz, (dI',pI',mI')));
    1.21 -val (p,_,f,nxt,_,pt) = me (mI,m) p c EmptyPtree;*)
    1.22  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.23  "--- s1b ---";
    1.24  val nxt = ("Model_Problem",