1.1 --- a/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Wed Oct 19 15:39:15 2022 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform.thy	Thu Oct 20 10:23:38 2022 +0200
     1.3 @@ -303,7 +303,7 @@
     1.4          use of a so called calc tree seen downwards.\<close>
     1.5  
     1.6  ML \<open>
     1.7 -  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
     1.8 +  val (p,_,f,nxt,_,pt) = Test_Code.init_calc @{context} [(fmz, (dI',pI',mI'))];
     1.9    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.10    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.11    val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.12 @@ -748,7 +748,7 @@
    1.13     * Solve the simple linear equation for A:
    1.14     * Return eq, not list of eq's
    1.15     *)
    1.16 -  val (p,_,fa,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.17 +  val (p,_,fa,nxt,_,pt) = Test_Code.init_calc @{context} [(fmz, (dI',pI',mI'))];
    1.18    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.19      (*Add_Given "equality (3=3*A/4)"*)
    1.20    val (p,_,fa,nxt,_,pt) = me nxt p [] pt;
    1.21 @@ -824,7 +824,7 @@
    1.22  
    1.23    val fmz = ["equality (3= -3*B/(4::real))", "solveFor B", "solutions L"];
    1.24    val (dI',pI',mI') =("Isac_Knowledge", ["univariate", "equation"], ["no_met"]);
    1.25 -  val (p,_,fb,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.26 +  val (p,_,fb,nxt,_,pt) = Test_Code.init_calc @{context} [(fmz, (dI',pI',mI'))];
    1.27    val (p,_,fb,nxt,_,pt) = me nxt p [] pt;
    1.28    val (p,_,fb,nxt,_,pt) = me nxt p [] pt;
    1.29    val (p,_,fb,nxt,_,pt) = me nxt p [] pt;
    1.30 @@ -1258,7 +1258,7 @@
    1.31      ("Isac_Knowledge", ["Inverse", "Z_Transform", "SignalProcessing"], 
    1.32               ["SignalProcessing", "Z_Transform", "Inverse"]);
    1.33               
    1.34 -  val (p,_,f,nxt,_,pt)  = CalcTreeTEST [(fmz, (dI,pI,mI))];
    1.35 +  val (p,_,f,nxt,_,pt)  = Test_Code.init_calc @{context} [(fmz, (dI,pI,mI))];
    1.36    val (p,_,f,nxt,_,pt) = me nxt p [] pt; 
    1.37      "Add_Given";
    1.38    val (p,_,f,nxt,_,pt) = me nxt p [] pt;