Searched defs:goal_end (Results 1 - 1 of 1) sorted by relevance

/ontohub/lib/hets/prove/
H A Dprove_evaluator.rb19 register :goal, :end, to: :goal_end
79 def goal_end method in class:Hets.Prove.ProveEvaluator

Completed in 7 milliseconds