Searched defs:mk_modus_ponens (Results 1 – 4 of 4) sorted by relevance
480 proof_ref mk_modus_ponens(proof* premise, proof* eq) { in mk_modus_ponens() function in hnf::imp
481 proof_ref mk_modus_ponens(proof* premise, proof* eq) { in mk_modus_ponens() function in hnf::imp
2733 proof * ast_manager::mk_modus_ponens(proof * p1, proof * p2) { in mk_modus_ponens() function in ast_manager
2811 proof * ast_manager::mk_modus_ponens(proof * p1, proof * p2) { in mk_modus_ponens() function in ast_manager