diff -r 498ed5bb1004 -r 98df8f6dc3f9 test/Tools/isac/OLDTESTS/script.sml
--- a/test/Tools/isac/OLDTESTS/script.sml	Wed Dec 05 15:29:36 2012 +0100
+++ b/test/Tools/isac/OLDTESTS/script.sml	Wed Dec 05 15:56:38 2012 +0100
@@ -247,7 +247,7 @@
 "  --- test100:  nxt_tac order------------------------------------ ";
 "  --- test100:  nxt_tac order------------------------------------ ";
 
-val scr as (Script sc) = Script (((inst_abs Test.thy) 
+val scr as (Prog sc) = Prog (((inst_abs Test.thy) 
 				  o term_of o the o (parse thy))
  "Script Testeq (e_e::bool) =                                        \
    \(While (contains_root e_e) Do                                     \
@@ -281,15 +281,15 @@
 *)
 
 
-val scr as (Script sc) = 
-    Script (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
+val scr as (Prog sc) = 
+    Prog (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
  "Script Testterm (g_::real) = (Calculate cancel g_)");
 (*
-val scr as (Script sc) = 
-    Script (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
+val scr as (Prog sc) = 
+    Prog (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
  "Script Testterm (g_::real) = (Calculate power g_)");
-val scr as (Script sc) = 
-    Script (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
+val scr as (Prog sc) = 
+    Prog (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
  "Script Testterm (g_::real) = (Calculate pow g_)");
 ..............................................................*)
 writeln