Searched defs:ProofStatus_UNCHECKED (Results 1 – 2 of 2) sorted by relevance
90 ProofStatus_UNCHECKED ProofStatus = 171 const
89 ProofStatus_UNCHECKED ProofStatus = 171 const