Searched defs:mk_and_elim (Results 1 – 2 of 2) sorted by relevance
3209 proof * ast_manager::mk_and_elim(proof * p, unsigned i) { in mk_and_elim() function in ast_manager
3287 proof * ast_manager::mk_and_elim(proof * p, unsigned i) { in mk_and_elim() function in ast_manager