1.1 --- a/test/Tools/isac/OLDTESTS/script.sml	Wed Dec 05 15:29:36 2012 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/script.sml	Wed Dec 05 15:56:38 2012 +0100
     1.3 @@ -247,7 +247,7 @@
     1.4  "  --- test100:  nxt_tac order------------------------------------ ";
     1.5  "  --- test100:  nxt_tac order------------------------------------ ";
     1.6  
     1.7 -val scr as (Script sc) = Script (((inst_abs Test.thy) 
     1.8 +val scr as (Prog sc) = Prog (((inst_abs Test.thy) 
     1.9  				  o term_of o the o (parse thy))
    1.10   "Script Testeq (e_e::bool) =                                        \
    1.11     \(While (contains_root e_e) Do                                     \
    1.12 @@ -281,15 +281,15 @@
    1.13  *)
    1.14  
    1.15  
    1.16 -val scr as (Script sc) = 
    1.17 -    Script (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
    1.18 +val scr as (Prog sc) = 
    1.19 +    Prog (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
    1.20   "Script Testterm (g_::real) = (Calculate cancel g_)");
    1.21  (*
    1.22 -val scr as (Script sc) = 
    1.23 -    Script (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
    1.24 +val scr as (Prog sc) = 
    1.25 +    Prog (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
    1.26   "Script Testterm (g_::real) = (Calculate power g_)");
    1.27 -val scr as (Script sc) = 
    1.28 -    Script (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
    1.29 +val scr as (Prog sc) = 
    1.30 +    Prog (((inst_abs Test.thy)  o term_of o the o (parse thy)) 
    1.31   "Script Testterm (g_::real) = (Calculate pow g_)");
    1.32  ..............................................................*)
    1.33  writeln