1.1 --- a/src/Tools/isac/Knowledge/Base_Tools.thy	Thu Sep 16 12:23:57 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Base_Tools.thy	Thu Sep 16 17:23:54 2021 +0200
     1.3 @@ -37,7 +37,7 @@
     1.4  calculation MINUS (minus) = \<open>(**)eval_binop "#sub_"\<close>
     1.5  calculation TIMES (times) = \<open>(**)eval_binop "#mult_"\<close>
     1.6  calculation DIVIDE (divide) = \<open>Prog_Expr.eval_cancel "#divide_e"\<close>
     1.7 -calculation POWER (powr) = \<open>(**)eval_binop "#power_"\<close>
     1.8 +calculation POWER (realpow) = \<open>(**)eval_binop "#power_"\<close>
     1.9  calculation boollist2sum = \<open>Prog_Expr.eval_boollist2sum ""\<close>
    1.10  
    1.11  subsection \<open>rewrite-order for rule-sets\<close>