PRFW-PALL : INFO

PRFW-PALL is a flag setting or other piece of information.
An option for ETREE-NAT-VERBOSE.
After each tactic during ETREE-NAT, in the proofwindow "Complete Proof",
print the current proof.

ETPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage