1.1 --- a/src/Tools/isac/Knowledge/LinEq.thy	Sun May 02 15:55:37 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/LinEq.thy	Mon May 03 08:49:50 2021 +0200
     1.3 @@ -49,7 +49,7 @@
     1.4      (*		
     1.5       Don't use
     1.6       Rule.Eval ("Rings.divide_class.divide", Prog_Expr.eval_cancel "#divide_e"),
     1.7 -     Rule.Eval ("Prog_Expr.pow" , (**)eval_binop "#power_"),
     1.8 +     Rule.Eval ("Transcendental.powr" , (**)eval_binop "#power_"),
     1.9       *)
    1.10      ];
    1.11  
    1.12 @@ -60,7 +60,7 @@
    1.13      (*		
    1.14       Don't use
    1.15       Rule.Eval ("Rings.divide_class.divide", Prog_Expr.eval_cancel "#divide_e"),
    1.16 -     Rule.Eval ("Prog_Expr.pow" , (**)eval_binop "#power_"),
    1.17 +     Rule.Eval ("Transcendental.powr" , (**)eval_binop "#power_"),
    1.18       *)
    1.19      ];
    1.20  \<close>
    1.21 @@ -83,7 +83,7 @@
    1.22  		 Rule.Eval ("Rings.divide_class.divide", Prog_Expr.eval_cancel "#divide_e"),		
    1.23  		 Rule.Eval ("NthRoot.sqrt", eval_sqrt "#sqrt_"),
    1.24  		 *)
    1.25 -		Rule.Eval ("Prog_Expr.pow" , (**)eval_binop "#power_")
    1.26 +		Rule.Eval ("Transcendental.powr" , (**)eval_binop "#power_")
    1.27  		],
    1.28         scr = Rule.Empty_Prog});
    1.29  \<close>