1.1 --- a/test/Tools/isac/MathEngBasic/rewrite.sml	Fri May 07 18:12:51 2021 +0200
     1.2 +++ b/test/Tools/isac/MathEngBasic/rewrite.sml	Tue Jun 01 15:41:23 2021 +0200
     1.3 @@ -256,21 +256,21 @@
     1.4  
     1.5  val SOME (t', _) = rewrite_terms_ thy dummy_ord Rule_Set.Empty equs t;
     1.6  writeln "---------- rewrite_terms_  1---------------------------";
     1.7 -if UnparseC.term t' = "M_b 0 = -1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2" then ()
     1.8 +if UnparseC.term t' = "M_b 0 = - 1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2" then ()
     1.9  else error "rewrite.sml rewrite_terms_ [x = 0]";
    1.10  
    1.11  val equs = [TermC.str2term "M_b 0 = 0"];
    1.12 -val t = TermC.str2term "M_b 0 = -1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2";
    1.13 +val t = TermC.str2term "M_b 0 = - 1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2";
    1.14  val SOME (t', _) = rewrite_terms_ thy dummy_ord Rule_Set.Empty equs t;
    1.15  writeln "---------- rewrite_terms_  2---------------------------";
    1.16 -if UnparseC.term t' = "0 = -1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2" then ()
    1.17 +if UnparseC.term t' = "0 = - 1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2" then ()
    1.18  else error "rewrite.sml rewrite_terms_ [M_b 0 = 0]";
    1.19  
    1.20  val equs = [TermC.str2term "x = 0", TermC.str2term"M_b 0 = 0"];
    1.21 -val t = TermC.str2term "M_b x = -1 * q_0 * x \<up> 2 / 2 + x * c + c_2";
    1.22 +val t = TermC.str2term "M_b x = - 1 * q_0 * x \<up> 2 / 2 + x * c + c_2";
    1.23  val SOME (t', _) = rewrite_terms_ thy dummy_ord Rule_Set.Empty equs t;
    1.24  writeln "---------- rewrite_terms_  3---------------------------";
    1.25 -if UnparseC.term t' = "0 = -1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2" then ()
    1.26 +if UnparseC.term t' = "0 = - 1 * q_0 * 0 \<up> 2 / 2 + 0 * c + c_2" then ()
    1.27  else error "rewrite.sml rewrite_terms_ [x = 0, M_b 0 = 0]";
    1.28  
    1.29