1.1 --- a/test/Tools/isac/ProgLang/calculate.sml	Tue Sep 28 10:01:18 2010 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/calculate.sml	Tue Sep 28 10:10:26 2010 +0200
     1.3 @@ -103,7 +103,7 @@
     1.4     ],
     1.5    {rew_ord'="sqrt_right",rls'=tval_rls,srls=e_rls,prls=e_rls,
     1.6     calc=[("PLUS"    ,("op +"        ,eval_binop "#add_")),
     1.7 -	 ("TIMES"   ,("op *"        ,eval_binop "#mult_")),
     1.8 +	 ("TIMES"   ,("Groups.times_class.times"        ,eval_binop "#mult_")),
     1.9  	 ("DIVIDE" ,("HOL.divide"  ,eval_cancel "#divide_")),
    1.10  	 ("POWER"  ,("Atools.pow"  ,eval_binop "#power_"))],
    1.11     crls=tval_rls, nrls=e_rls(*,