PL : MEXPR

PL is a top-level command.

Print all proof lines in a given range.
The command format for PL is:

 <n>PL     NUM1     NUM2 
"POSINTEGER" "POSINTEGER"


The arguments have the following meaning:
NUM1 : Lower bound
NUM2 : Upper bound

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage