Searched refs:check_goal (Results 1 – 1 of 1) sorted by relevance
504 check_goal (proof_goal& g) in check_goal() function537 proof_result r = check_goal (*iter); in check_proof()