RED : EDOP

RED is an editor command.
Lambda-contract a top-level reduct.
Bound variables may be renamed using REN-VAR-FN
 
The command format for RED is:

<Ed>RED <<REDUCT>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage