[isabelle] modus tollens rule in isabelle



Does exists a modus tollens rule in isabelle?




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.