RECONSIDER : MEXPR

RECONSIDER is a top-level command.
Reconsider a proof. The following proofs are in memory:

For more details, use the PROOFLIST command.

The command format for RECONSIDER is:

 <n>RECONSIDER  PREFIX 
"SYMBOL"


The arguments have the following meaning:
PREFIX : Name of Proof

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage