ARR1 : EDOP

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

<Ed>ARR1 <<GWFF>> RULE
<<GWFF>> "SYMBOL"


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage