Searched refs:PROOF_SORT (Results 1 – 6 of 6) sorted by relevance
206 s->get_decl_kind() == PROOF_SORT; in is_proof()
879 m_proof_sort = m->mk_sort(symbol("Proof"), sort_info(id, PROOF_SORT)); in set_manager()991 SASSERT(k == PROOF_SORT); in mk_sort()
1097 PROOF_SORT enumerator
944 m_proof_sort = m->mk_sort(symbol("Proof"), sort_info(id, PROOF_SORT)); in set_manager()1056 SASSERT(k == PROOF_SORT); in mk_sort()
1094 PROOF_SORT enumerator