1.1 --- a/test/Tools/isac/MathEngBasic/rewrite.sml	Sun May 02 15:55:37 2021 +0200
     1.2 +++ b/test/Tools/isac/MathEngBasic/rewrite.sml	Mon May 03 08:49:50 2021 +0200
     1.3 @@ -606,7 +606,7 @@
     1.4  (*+*)    Thm ("not_true", "(\<not> True) = False"),
     1.5  (*+*)    Thm ("not_false", "(\<not> False) = True"),
     1.6  (*+*)    :
     1.7 -(*+*)    Eval ("Prog_Expr.pow", fn),
     1.8 +(*+*)    Eval ("Transcendental.powr", fn),
     1.9  (*+*)    Eval ("RatEq.is'_ratequation'_in", fn)]:
    1.10  (*+*)   rule list*)
    1.11  (*+*)chk: term list -> term list -> term list * bool