Searched refs:Numbering (Results 1 - 3 of 3) sorted by relevance
| /ontohub/lib/ | ||
| H A D | numbering.rb | 1 module Numbering module |
| /ontohub/app/models/ | ||
| H A D | ontology_version.rb | 3 include Numbering |
| H A D | proof_attempt.rb | 2 include Numbering |
Completed in 12 milliseconds