Searched defs:ordered_proof_statuses (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/models/ | ||
| H A D | theorem.rb | 28 self.proof_status = ordered_proof_statuses.last 45 def ordered_proof_statuses method in class:Theorem |
Completed in 7 milliseconds