1.1 --- a/src/Tools/isac/Knowledge/Base_Tools.thy	Sun May 02 15:55:37 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Base_Tools.thy	Mon May 03 08:49:50 2021 +0200
     1.3 @@ -38,7 +38,7 @@
     1.4      ("MINUS", ("Groups.minus_class.minus", (**)eval_binop "#sub_")),
     1.5      ("TIMES", ("Groups.times_class.times", (**)eval_binop "#mult_")),
     1.6      ("DIVIDE", ("Rings.divide_class.divide", Prog_Expr.eval_cancel "#divide_e")),
     1.7 -    ("POWER",("Prog_Expr.pow", (**)eval_binop "#power_")),
     1.8 +    ("POWER",("Transcendental.powr", (**)eval_binop "#power_")),
     1.9      ("boollist2sum", ("Prog_Expr.boollist2sum", Prog_Expr.eval_boollist2sum ""))]\<close>
    1.10  
    1.11  subsection \<open>rewrite-order for rule-sets\<close>