NEG-NEG-PLAN-TAC : TACTIC

NEG-NEG-PLAN-TAC is a tactic. As defined for use ETREE-NAT: is a primitive tactic. If planned line is a double negation, applies the pullneg rule.