NAT-DED : INFO

NAT-DED is a flag setting or other piece of information.
A flag setting for TACUSE.
Use tactics in natural deduction style (i.e. apply them to the
lines of the current dproof).

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage