1.1 --- a/src/Tools/isac/Interpret/solve.sml	Thu Sep 23 12:56:51 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/solve.sml	Thu Sep 23 14:49:23 2010 +0200
     1.3 @@ -91,7 +91,7 @@
     1.4  
     1.5  (*13.9.02--------------
     1.6  type ctr = (loc * pos) list;
     1.7 -val ops = [("PLUS","op +"),("MINUS","op -"),("TIMES","op *"),
     1.8 +val ops = [("PLUS","Groups.plus_class.plus"),("MINUS","Groups.minus_class.minus"),("TIMES","op *"),
     1.9  	   ("cancel","cancel"),("pow","pow"),("sqrt","sqrt")];
    1.10  ML {* 
    1.11  @{term "PLUS"};   (*Free ("PLUS", "'a") : term*)