Searched defs:initialize_proof_obligation (Results 1 - 1 of 1) sorted by relevance
| /ontohub/app/fake_records/ | ||
| H A D | proof.rb | 56 initialize_proof_obligation(opts) 93 def initialize_proof_obligation(opts) method in class:Proof |
Completed in 8 milliseconds