diff -r 746271e91d4b -r 0bb418c3855a test/Tools/isac/OLDTESTS/scriptnew.sml
--- a/test/Tools/isac/OLDTESTS/scriptnew.sml	Thu Aug 22 15:56:48 2019 +0200
+++ b/test/Tools/isac/OLDTESTS/scriptnew.sml	Thu Aug 22 16:48:04 2019 +0200
@@ -39,7 +39,7 @@
    {rew_ord'="tless_true",rls'=tval_rls,srls=e_rls,prls=e_rls,calc=[],
     crls=tval_rls, errpats = [], nrls=e_rls(*,
     asm_rls=[],asm_thm=[]*)},
- "Script Testterm (g_::real) =   \
+ "Program Testterm (g_::real) =   \
  \Repeat\
  \  ((Repeat (Rewrite rmult_1 False)) Or\
  \   (Repeat (Rewrite rmult_0 False)) Or\
@@ -109,7 +109,7 @@
 		    [Calc ("Test.contains'_root", eval_contains_root"")],
     prls=e_rls,calc=[], crls=tval_rls, errpats = [], nrls=e_rls
 		  (*,asm_rls=[],asm_thm=[("square_equation_left","")]*)},
- "Script Testeq (e_e::bool) =                                        \
+ "Program Testeq (e_e::bool) =                                        \
    \(While (contains_root e_e) Do                                     \
    \((Try (Repeat (Rewrite rroot_square_inv False))) @@    \
    \  (Try (Repeat (Rewrite square_equation_left True))) @@ \
@@ -167,7 +167,7 @@
 		    [Calc ("Test.contains'_root",eval_contains_root"")],
     prls=e_rls,calc=[], crls=tval_rls, errpats = [], nrls=e_rls
 		  (*,asm_rls=[],asm_thm=[("square_equation_left","")]*)},
-   "Script Testeq2 (e_e::bool) =                                        \
+   "Program Testeq2 (e_e::bool) =                                        \
    \(let e_e =\
    \  ((While (contains_root e_e) Do                                     \
    \   (Rewrite square_equation_left True))\
@@ -484,7 +484,7 @@
 
 (*GoOn.5.03. script with Map, Subst (biquadr.equ.)
 val scr = Prog ((inst_abs o Thm.term_of o the o (parse thy))
-    "Script Biquadrat_poly (e_e::bool) (v_::real) =                       \
+    "Program Biquadrat_poly (e_e::bool) (v_::real) =                       \
     \(let e_e = Substitute [(v_^^^4, v_0_^^^2),(v_^^^2, v_0_)] e_;        \ 
     \     L_0_ = (SubProblem (PolyEqX,[univariate,equation], [no_met])   \
     \             [BOOL e_e, REAL v_0_]);                               \