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