1.1 --- a/src/Tools/isac/Interpret/solve.sml	Tue Sep 28 10:01:18 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/solve.sml	Tue Sep 28 10:10:26 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","Groups.plus_class.plus"),("MINUS","Groups.minus_class.minus"),("TIMES","op *"),
     1.8 +val ops = [("PLUS","Groups.plus_class.plus"),("MINUS","Groups.minus_class.minus"),("TIMES","Groups.times_class.times"),
     1.9  	   ("cancel","cancel"),("pow","pow"),("sqrt","sqrt")];
    1.10  ML {* 
    1.11  @{term "PLUS"};   (*Free ("PLUS", "'a") : term*)