mathlib3

827de119 - the classical versions of imp_or_distrib and imp_or_distrib' are the same, as the decidable namespace only differ in which argument is decidable