TACTICS-ND : MODULE

TACTICS-ND is a module.

It is loaded.
Defines higher-level tactics for natural deduction proofs using
math logic II rules.

NEEDED-MODULES ML-TACTICS

FILES MASTER-TACTIC

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage