UNAPPLY-RRULE-1 : WFFOP

UNAPPLY-RRULE-1 is a wff operation.
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 calling scheme for UNAPPLY-RRULE-1 is:

(UNAPPLY-RRULE-1 GWFF RULE)
"GWFF" "SYMBOL"


The result is of type GWFF.

The arguments have the following meaning:
GWFF : gwff after rewriting
RULE : name of rule

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage