diff -r 491b133d154a -r 928cebc9c4aa src/Tools/isac/Knowledge/Rational-WN.sml
--- a/src/Tools/isac/Knowledge/Rational-WN.sml	Tue Sep 28 10:01:18 2010 +0200
+++ b/src/Tools/isac/Knowledge/Rational-WN.sml	Tue Sep 28 10:10:26 2010 +0200
@@ -57,7 +57,7 @@
 fun mono (Const ("RatArith.pow",_) $ t1 $ t2) v g =
     if t1 = v then ((replicate ((free2int t2) - g) 0) @ [1]) : poly 
     else error ("term2poly.1 "^term2str t1)
-  | mono (t as Const ("op *",_) $ t1 $ 
+  | mono (t as Const ("Groups.times_class.times",_) $ t1 $ 
 	    (Const ("RatArith.pow",_) $ t2 $ t3)) v g =
     if t2 = v then (replicate ((free2int t3) - g) 0) @ [free2int t1] 
     else error ("term2poly.2 "^term2str t)
@@ -71,7 +71,7 @@
 fun term2poly (t as Free (s, _)) v =
     if t = v then SOME ([0,1] : poly) else (SOME [(the o int_of_str) s]
 				  handle _ => NONE)
-  | term2poly (Const ("op *",_) $ (Free (s1,_)) $ (t as Free (s2,_))) v =
+  | term2poly (Const ("Groups.times_class.times",_) $ (Free (s1,_)) $ (t as Free (s2,_))) v =
     if t = v then SOME [0, (the o int_of_str) s1] else NONE
   | term2poly (Const ("Groups.plus_class.plus",_) $ (Free (s1,_)) $ t) v = 
     SOME ([(the o int_of_str) s1] @ (poly t v 1))
@@ -125,11 +125,11 @@
     case g of
 	0 => Free (str_of_int c, cT) (*will cause problems with diff.typs*)
       | 1 => if c = 1 then Free (v, vT)
-	     else Const ("op *", [cT, vT]--->pT) $
+	     else Const ("Groups.times_class.times", [cT, vT]--->pT) $
 			Free (str_of_int c, cT) $ Free (v, vT)
       | n => if c = 1 then (Const ("RatArith.pow", [vT, eT]--->pT) $ 
 			  Free (v, vT) $ Free (str_of_int g, eT))
-	     else Const ("op *", [cT, vT]--->pT) $ 
+	     else Const ("Groups.times_class.times", [cT, vT]--->pT) $ 
 			Free (str_of_int c, cT) $ 
 			(Const ("RatArith.pow", [vT, eT]--->pT) $ 
 			       Free (v, vT) $ Free (str_of_int g, eT));