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 

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