RENUMBERALL : MEXPR

RENUMBERALL is a top-level command.
Renumber all the lines in the current proof.
The command format for RENUMBERALL is:

 <n>RENUMBERALL      NUM 
"POSINTEGER"


The arguments have the following meaning:
NUM : Increment

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage