Searched refs:explode_assumptions (Results 1 – 1 of 1) sorted by relevance
666 explode_assumptions (proof_state& p) in explode_assumptions() function759 explode_assumptions (proof); in prove_implication()