Searched refs:initialize_axiom_selection (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/fake_records/ | ||
| H A D | proof.rb | 58 initialize_axiom_selection(opts) 115 def initialize_axiom_selection(opts) method in class:Proof |
Completed in 8 milliseconds