Searched refs:prepare_sentences (Results 1 - 1 of 1) sorted by relevance
| /ontohub/lib/hets/ | ||
| H A D | prove_options.rb | 54 prepare_sentences(:axioms) 58 prepare_sentences(:theorems) 62 def prepare_sentences(field) method in class:Hets.ProveOptions |
Completed in 11 milliseconds