wneuper/isa: comparison test/Tools/isac/OLDTESTS/script.sml

equal deleted inserted replaced

-:b2877b9d455a
+:66f3570ba808
 "  --- test100:  nxt_tac order------------------------------------ ";
 "  --- test100:  nxt_tac order------------------------------------ ";
 val scr as (Script sc) = Script (((inst_abs Test.thy)
 				  o term_of o the o (parse thy))
-"Script Testeq (e_::bool) =                                        \
+"Script Testeq (e_e::bool) =                                        \
 \(While (contains_root e_e) Do                                     \
 \((Try (Repeat (Rewrite rroot_square_inv False))) @@    \
 \  (Try (Repeat (Rewrite square_equation_left True))) @@ \
 \  (Try (Repeat (Rewrite radd_0 False)))))\
 \ e_e            ");