1.1 --- a/test/Tools/isac/OLDTESTS/script.sml	Mon Oct 31 18:28:36 2022 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/script.sml	Mon Nov 07 17:37:20 2022 +0100
     1.3 @@ -244,7 +244,7 @@
     1.4  "  --- test100:  nxt_tac order------------------------------------ ";
     1.5  "  --- test100:  nxt_tac order------------------------------------ ";
     1.6  
     1.7 -val scr as (Prog sc) = Prog (((inst_abs Test.thy) 
     1.8 +val program as (Prog sc) = Prog (((inst_abs Test.thy) 
     1.9  				  o Thm.term_of o the o (TermC.parse thy))
    1.10   "Program Testeq (e_e::bool) =                                        \
    1.11     \(While (contains_root e_e) Do                                     \
    1.12 @@ -277,14 +277,14 @@
    1.13  *)
    1.14  
    1.15  
    1.16 -val scr as (Prog sc) = 
    1.17 +val program as (Prog sc) = 
    1.18      Prog (((inst_abs Test.thy)  o Thm.term_of o the o (TermC.parse thy)) 
    1.19   "Program Testterm (g_::real) = (Calculate cancel g_)");
    1.20  (*
    1.21 -val scr as (Prog sc) = 
    1.22 +val program as (Prog sc) = 
    1.23      Prog (((inst_abs Test.thy)  o Thm.term_of o the o (TermC.parse thy)) 
    1.24   "Program Testterm (g_::real) = (Calculate power g_)");
    1.25 -val scr as (Prog sc) = 
    1.26 +val program as (Prog sc) = 
    1.27      Prog (((inst_abs Test.thy)  o Thm.term_of o the o (TermC.parse thy)) 
    1.28   "Program Testterm (g_::real) = (Calculate pow g_)");
    1.29  ..............................................................*)