MATE : MEXPR

MATE is a top-level command.
Begin an expansion proof for a gwff.
The command format for MATE is:

 <n>MATE            GWFF       DEEPEN  REINIT  WINDOW 
"GWFF0-OR-LABEL-OR-EPROOF" "YESNO" "YESNO" "YESNO"


The arguments have the following meaning:
GWFF : Gwff or Eproof
DEEPEN : Deepen?
REINIT : Reinitialize Variable Names?
WINDOW : Open Vpform Window?

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage