DONE : MEXPR

DONE is a top-level command.
Signal that the current proof is complete.
The command format for DONE is:

 <n>DONE 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage