Searched defs:prepare_node (Results 1 - 2 of 2) sorted by relevance
| /ontohub/lib/hets/ | ||
| H A D | provers_options.rb | 7 prepare_node 10 def prepare_node method in class:Hets.ProversOptions |
| H A D | prove_options.rb | 25 prepare_node 32 def prepare_node method in class:Hets.ProveOptions |
Completed in 7 milliseconds