Searched refs:fill_proof_attempt_instance (Results 1 - 1 of 1) sorted by relevance
| /ontohub/lib/hets/prove/ | ||
| H A D | prove_evaluation_helper.rb | 10 fill_proof_attempt_instance(proof_attempt, proof_info) 20 def fill_proof_attempt_instance(proof_attempt, proof_info) method in class:Hets.Prove.ProveEvaluationHelper |
Completed in 7 milliseconds