Searched refs:hets_out_body_provers (Results 1 - 1 of 1) sorted by relevance
| /ontohub/spec/ | ||
| H A D | hets_helper.rb | 65 def hets_out_body_provers(ontology_fixture) method 94 provers_io = StringIO.new(hets_out_body_provers(ontology_fixture)) |
Completed in 14 milliseconds