SQUEEZE : MEXPR

SQUEEZE is a top-level command.
Removes unnecessary gaps from the proof structure.
The command format for SQUEEZE is:

 <n>SQUEEZE 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage