Search

Sort by

In Project(s)

Searched refs:prepare_theorems (Results 1 - 1 of 1) sorted by relevance

/ontohub/lib/hets/
H A D	prove_options.rb	`29 prepare_theorems 57 def prepare_theorems method in class:Hets.ProveOptions`

Completed in 19 milliseconds