Searched defs:load_assumptions (Results 1 – 1 of 1) sorted by relevance
584 load_assumptions (proof_goal& g) in load_assumptions() function611 load_assumptions(proof_state& p) in load_assumptions() function