Searched refs:iffAndDistrib (Results 1 – 3 of 3) sorted by relevance
77 Theorem iffAndDistrib(const Expr& iff);
106 virtual Theorem iffAndDistrib(const Expr& iff) = 0;
565 CoreTheoremProducer::iffAndDistrib(const Expr& iff) { in iffAndDistrib() function in CoreTheoremProducer