PRFW-^P : INFO

PRFW-^P is a flag setting or other piece of information.
An option for ETREE-NAT-VERBOSE.
After each tactic during ETREE-NAT, in the proofwindow "Current Subproof",
print the current plan-support pair in the proof.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage