Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History

In Project(s)

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

/ontohub/lib/hets/
H A D	prove_options.rb	`2 class ProveOptions < HetsOptions class in class:Hets`

Completed in 7 milliseconds