Deleting a rule defined by tellsimpafter



Hi All

If I have defined a rule, such as:
(C38) disprule(delrule2);

(D38) 		    DELRULE2 : DEL(w) -> - DEL(v) - DEL(u)	

how do remove it?  remrule seems to be the appropriate function, but I
have no idea what to pass as its first parameter.

Thanks
Neilen
-- 
all we are waiting for is something worth waiting for
		   		   --- KMFDM