COUNT-LINES : MEXPR

COUNT-LINES is a top-level command.
Show the number of lines in the current proof.
The command format for COUNT-LINES is:

 <n>COUNT-LINES 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage