ARR1* is an editor command.
Apply a rewrite rule (active or inactive) repeatedly
to the current edwff. If the rule is bidirectional, you will
be prompted about which direction to apply it in.
CAUTION: may not terminate.
The command format for ARR1* is:


The result replaces the current wff.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage