©1998 Research Institute for Symbolic Computation (RISC-Linz)
This package contains commands operating on conditional rewrite rules.
Syntax call
BeginRule[ ]
Effect
clears the downvalues of RewriteRuleList associated to the defined function
symbols.
Implementation