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