1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Sat Jul 17 14:05:28 2021 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Sun Jul 18 16:20:32 2021 +0200
     1.3 @@ -1,10 +1,9 @@
     1.4 -(* Rewrite.trace_on:= true;
     1.5 -   Rewrite.trace_on:= false;
     1.6 +(* 
     1.7 +   
     1.8  
     1.9     method "sqrt-equ-test", _NOT_ "square-equation" 
    1.10  *)
    1.11  
    1.12 -
    1.13  " ================= equation with x =(-12)/5, but L ={} ======= ";
    1.14  " _________________ rewrite _________________ ";
    1.15  
    1.16 @@ -533,8 +532,7 @@
    1.17   val t = TermC.str2term "sqrt (9 + 4 * x) = sqrt x + sqrt (5 + x)";
    1.18   val SOME (t',asm) = rewrite_set_ thy false rls t;
    1.19   UnparseC.term t';
    1.20 -> Rewrite.trace_on:=true; 
    1.21 - Rewrite.trace_on:=false; 
    1.22 + Rewrite.trace_on:=false; (*true false*)
    1.23  *)
    1.24  
    1.25  (*me------------