Searched defs:proof_attempt_info (Results 1 - 1 of 1) sorted by relevance
| /ontohub/lib/hets/prove/ | ||
| H A D | prove_evaluator.rb | 54 info = proof_attempt_info(key, value) 59 info = proof_attempt_info 99 def proof_attempt_info(key = nil, value = nil) method in class:Hets |
Completed in 271 milliseconds