1.1 --- a/src/Tools/isac/Knowledge/PolyEq.thy	Tue Sep 28 10:01:18 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/PolyEq.thy	Tue Sep 28 10:10:26 2010 +0200
     1.3 @@ -460,7 +460,7 @@
     1.4  		Thm  ("realpow_multI",num_str @{thm realpow_multI}),
     1.5  		Calc ("Groups.plus_class.plus",eval_binop "#add_"),
     1.6  		Calc ("Groups.minus_class.minus",eval_binop "#sub_"),
     1.7 -		Calc ("op *",eval_binop "#mult_"),
     1.8 +		Calc ("Groups.times_class.times",eval_binop "#mult_"),
     1.9  		Calc ("Rings.inverse_class.divide", eval_cancel "#divide_e"),
    1.10  		Calc ("NthRoot.sqrt",eval_sqrt "#sqrt_"),
    1.11  		Calc ("Atools.pow" ,eval_binop "#power_"),