1.1 --- a/test/Tools/isac/Knowledge/diff.sml	Thu Sep 23 12:56:51 2010 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/diff.sml	Thu Sep 23 14:49:23 2010 +0200
     1.3 @@ -69,7 +69,7 @@
     1.4  		     Calc ("Atools.occurs'_in", eval_occurs_in ""),
     1.5  		     Calc ("Tools.matches",eval_matches ""),
     1.6  		     
     1.7 -		     Calc ("op +",eval_binop "#add_"),
     1.8 +		     Calc ("Groups.plus_class.plus",eval_binop "#add_"),
     1.9  		     Calc ("op *",eval_binop "#mult_"),
    1.10  		     Calc ("Atools.pow" ,eval_binop "#power_"),
    1.11