1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Mon Oct 31 18:28:36 2022 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Mon Nov 07 17:37:20 2022 +0100
     1.3 @@ -250,7 +250,7 @@
     1.4  val ct = TermC.parse_test @{context}"sqrt(9+4*x)=sqrt x + sqrt(5+x)";
     1.5  val ctl = ["sqrt(9+4*x)=sqrt x + sqrt(5+x)", "x::real", "0"];
     1.6  val oris = O_Model.init thy ctl 
     1.7 -		    ((#ppc o Problem.from_store)
     1.8 +		    ((#model o Problem.from_store)
     1.9  			 ["sqroot-test", "univariate", "equation", "test"]);
    1.10  val loc = Istate.empty;
    1.11  val (pt,pos) = (e_ctree,[]);
    1.12 @@ -379,7 +379,7 @@
    1.13  *)
    1.14  
    1.15  
    1.16 -(*- 20.9.02: Free_Solve would need the erls (for conditions of rules)
    1.17 +(*- 20.9.02: Free_Solve would need the asm_rls (for conditions of rules)
    1.18      from thy ???, i.e. together with the *_simplify ?!!!? ----------
    1.19  " _________________ me Free_Solve _________________ ";
    1.20  " _________________ me Free_Solve _________________ ";
    1.21 @@ -542,7 +542,7 @@
    1.22  (*solve*)
    1.23        val pp = par_pblobj pt p;
    1.24        val metID = get_obj g_metID pt pp;
    1.25 -      val sc = (#scr o MethodC.from_store ctxt) metID;
    1.26 +      val sc = (#program o MethodC.from_store ctxt) metID;
    1.27        val is = get_istate_LI pt (p,p_);
    1.28        val thy' = get_obj g_domID pt pp;
    1.29        val thy = ThyC.get_theory thy';