1.1 --- a/test/Tools/isac/OLDTESTS/script.sml	Mon Sep 06 15:09:37 2010 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/script.sml	Mon Sep 06 15:53:18 2010 +0200
     1.3 @@ -249,7 +249,7 @@
     1.4  
     1.5  val scr as (Script sc) = Script (((inst_abs Test.thy) 
     1.6  				  o term_of o the o (parse thy))
     1.7 - "Script Testeq (e_::bool) =                                        \
     1.8 + "Script Testeq (e_e::bool) =                                        \
     1.9     \(While (contains_root e_e) Do                                     \
    1.10     \((Try (Repeat (Rewrite rroot_square_inv False))) @@    \
    1.11     \  (Try (Repeat (Rewrite square_equation_left True))) @@ \