MIN-PROP : TACTIC

MIN-PROP is a tactic.
As defined for use NAT-DED:
(ORELSE SAME-TAC (IFTHEN USE-RULEP-TAC RULEP-TAC) TRUTH-TAC ABSURD-TAC
INDIRECT2-TAC MAKE-ROOM DEDUCT-TAC
(IFTHEN USE-RULEP-TAC ECONJ*-TAC ECONJ-TAC)
(IFTHEN USE-RULEP-TAC ICONJ*-TAC ICONJ-TAC))

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage