Rewrite Rules

©1998 Research Institute for Symbolic Computation (RISC-Linz)

Package Description

This package contains commands operating on conditional rewrite rules.

Usage

Implementation

Begin

BeginRule

Syntax call
BeginRule[ ]
Effect
clears the downvalues of RewriteRuleList associated to the defined function
symbols.
Implementation

End