^P : MEXPR

^P is a top-level command.
Print current plan-support pair in the proof.
The command format for ^P is:

 <n>^P 

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage