Searched defs:andIntro (Results 1 – 1 of 1) sorted by relevance
| /dports/math/cvc3/cvc3-2.4.1/src/theorem/ | ||
| H A D | common_theorem_producer.cpp | 733 Theorem CommonTheoremProducer::andIntro(const Theorem& e1, const Theorem& e2) { in andIntro() function in CommonTheoremProducer |