To generate a NATREE from given proof and store it in CURRENT-NATREE. This may

evolve into a command for rearranging natural deduction style proofs.

The command format for PFNAT is:

<n>PFNAT PROOF

"SYMBOL"

The arguments have the following meaning:

PROOF : Proof to be mapped

© 1988-99, Carnegie Mellon University.