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


The result replaces the current wff.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage