Searched defs:derive_atomic_proof (Results 1 – 2 of 2) sorted by relevance
690 derive_atomic_proof (clause& c, tree t) in derive_atomic_proof() function
734 derive_atomic_proof (clause& c, tree t) in derive_atomic_proof() function