Lines Matching defs:proof
2268 val proof = Proof.proof refutation
2271 List.foldl (collectProofDeps sources) (names,[]) proof
2282 proof = proof}
2332 val {subgoal,normalization,sources,proof} = subgoalProof
2368 proof = proof}
2481 val {number,subgoal,normalization,sources,proof} = subgoalProof
2526 (formulas,0,clNames) proof