PROOFLIST : MEXPR

PROOFLIST is a top-level command.
Print a list of all proofs or partial proofs currently in memory.
Also prints the final line of each proof and the comment, if
any, attached to it.
The command format for PROOFLIST is:

 <n>PROOFLIST 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage