TABLEAU : MEXPR

TABLEAU is a top-level command.
Print the part of the proof which justifies the given line,
in a natural deduction tableau format.
The command format for TABLEAU is:

 <n>TABLEAU     LINE 
"POSINTEGER"


The arguments have the following meaning:
LINE : Line to start from

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage