1.1 --- a/test/Tools/isac/Knowledge/diffapp.sml	Thu Aug 22 15:56:48 2019 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/diffapp.sml	Thu Aug 22 16:48:04 2019 +0200
     1.3 @@ -136,8 +136,8 @@
     1.4  (* --vvv-- ausgeliehen von test-root-equ/sml *)
     1.5  val loc = e_istate;
     1.6  val (dI',pI',mI') =
     1.7 -  ("Script",["sqroot-test","univariate","equation"],
     1.8 -   ["Script","squ-equ-test2"]);
     1.9 +  ("Program",["sqroot-test","univariate","equation"],
    1.10 +   ["Program","squ-equ-test2"]);
    1.11  val fmz = ["equality (sqrt(9+4*x)=sqrt x + sqrt(5+x))",
    1.12  	   "solveFor x","errorBound (eps=0)",
    1.13  	   "solutions L"];
    1.14 @@ -460,7 +460,7 @@
    1.15  "--------------------- 30.4.03: maximum .. rewrite_set_ list_rls ---------";
    1.16  "--------------------- 30.4.03: maximum .. rewrite_set_ list_rls ---------";
    1.17  str2term
    1.18 -  "Script Maximum_value(f_ix::bool list)(m_m::real) (r_s::bool list)\
    1.19 +  "Program Maximum_value(f_ix::bool list)(m_m::real) (r_s::bool list)\
    1.20     \      (v_v::real) (itv_v::real set) (err_r::bool) =          \ 
    1.21     \ (let e_e = (hd o (filterVar m_m)) r_s;              \
    1.22     \      t_t = (if 1 < length_h r_s                            \
    1.23 @@ -542,7 +542,7 @@
    1.24  "---------------------- 1.5.03: Make_fun_by_explicit ---------------------";
    1.25  "---------------------- 1.5.03: Make_fun_by_explicit ---------------------";
    1.26  str2term
    1.27 -   "Script Make_fun_by_explicit (f_f::real) (v_v::real)         \
    1.28 +   "Program Make_fun_by_explicit (f_f::real) (v_v::real)         \
    1.29     \      (eqs::bool list) =                                 \
    1.30     \ (let h_h  = (hd o (filterVar f_f)) eqs;                   \
    1.31     \      e_1 = hd (dropWhile (ident h_h) eqs);               \
    1.32 @@ -643,7 +643,7 @@
    1.33  "---------------------- 2.5.03: Make_fun_by_new_variable -----------------";
    1.34  "---------------------- 2.5.03: Make_fun_by_new_variable -----------------";
    1.35  str2term
    1.36 -  "Script Make_fun_by_new_variable (f_f::real) (v_v::real)     \
    1.37 +  "Program Make_fun_by_new_variable (f_f::real) (v_v::real)     \
    1.38     \      (eqs::bool list) =                                 \
    1.39     \(let h_h = (hd o (filterVar f_f)) eqs;             \
    1.40     \     es_s = dropWhile (ident h_h) eqs;                    \