1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Thu Aug 22 15:56:48 2019 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Thu Aug 22 16:48:04 2019 +0200
     1.3 @@ -234,7 +234,7 @@
     1.4  "----------- met simplification for_polynomials with_minus -------";
     1.5  "----------- met simplification for_polynomials with_minus -------";
     1.6  val str = 
     1.7 -"Script SimplifyScript (t_t::real) =                \
     1.8 +"Program SimplifyScript (t_t::real) =                \
     1.9  \  (((Try (Rewrite_Set ordne_alphabetisch False)) @@     \
    1.10  \    (Try (Rewrite_Set fasse_zusammen False)) @@     \
    1.11  \    (Try (Rewrite_Set verschoenere False))) t_t)"
    1.12 @@ -338,7 +338,7 @@
    1.13  "----------- met probe fuer_polynom ------------------------------";
    1.14  "----------- met probe fuer_polynom ------------------------------";
    1.15  val str = 
    1.16 -"Script ProbeScript (e_e::bool) (w_s::bool list) =\
    1.17 +"Program ProbeScript (e_e::bool) (w_s::bool list) =\
    1.18  \ (let e_e = Take e_e;                             \
    1.19  \      e_e = Substitute w_s e_e                    \
    1.20  \ in (Repeat((Try (Repeat (Calculate ''TIMES''))) @@  \