ML-TACTICS : MODULE

ML-TACTICS is a module.

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

NEEDED-MODULES TACTICS MATH-LOGIC-2-RULES

FILES ML-TACTICS-AUX ML-TACTICS-PROP ML-TACTICS-QUANT

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage