1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Fri Jun 17 12:15:09 2022 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Sat Jun 18 12:34:29 2022 +0200
     1.3 @@ -400,15 +400,15 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.5  (* val nxt = ("Add_Find",Add_Find "solutions L"); *)
     1.6  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
     1.7 -(* val nxt = ("Specify_Theory",Specify_Theory "DiffAppl");
     1.8 +(* val nxt = ("Specify_Theory",Specify_Theory "Diff_Appl");
     1.9  > get_obj g_spec pt (fst p);
    1.10  val it = (ThyC.id_empty,Problem.id_empty,(ThyC.id_empty, MethodC.id_empty)) : spec*)
    1.11  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.12  (*val nxt = ("Specify_Problem", Specify_Problem *)
    1.13  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.14 -(*val nxt = ("Specify_Method",Specify_Method ("DiffAppl", "sqrt-equ-test"));*)
    1.15 +(*val nxt = ("Specify_Method",Specify_Method ("Diff_Appl", "sqrt-equ-test"));*)
    1.16  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.17 -(*val nxt = ("Apply_Method",Apply_Method ("DiffAppl", "sqrt-equ-test"));*)
    1.18 +(*val nxt = ("Apply_Method",Apply_Method ("Diff_Appl", "sqrt-equ-test"));*)
    1.19  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.20  val nxt = ("Free_Solve",Free_Solve);
    1.21  val (p,_,f,nxt,_,pt) = me nxt p [] pt;