UNARR1 is an editor command.
Unapply a rewrite rule (active or inactive) 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.
The command format for UNARR1 is:


The result replaces the current wff.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage