1.1 --- a/src/Tools/isac/Knowledge/LinEq.thy	Tue Sep 28 10:01:18 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/LinEq.thy	Tue Sep 28 10:10:26 2010 +0200
     1.3 @@ -86,7 +86,7 @@
     1.4  		Thm  ("real_assoc_1",num_str @{thm real_assoc_1}),
     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  		(*  Dont use  
    1.10  		 Calc ("Rings.inverse_class.divide", eval_cancel "#divide_e"),		
    1.11  		 Calc ("NthRoot.sqrt",eval_sqrt "#sqrt_"),