EXPAND=* : EDOP

EXPAND=* is an editor command.
Instantiate all equalities in gwff. Consults the flag
REWRITE-EQUALITIES (but ignores it if it's set to NONE).
 
The command format for EXPAND=* is:

<Ed>EXPAND=* <<INWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage