Searched defs:symbol_by_name (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/models/proof_status/ | ||
| H A D | creation_from_ontology.rb | 45 symbol_by_name(status).label 51 symbol_by_name(status).comment 66 def symbol_by_name(status) method in class:ProofStatus.CreationFromOntology.ClassMethods |
Completed in 8 milliseconds