PALL : MEXPR

PALL is a top-level command.

Print all the lines in the current proof outline.
The command format for PALL is:

 <n>PALL 

TPS documentation homepage


PALL : UNIFOP

PALL is an unification command.
Displays all the disagreement pairs at every node below the
given node. (Similar to PP, but for the entire tree below the current
node.)
PALL is a printing command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage