Searched defs:Importer (Results 1 - 3 of 3) sorted by relevance
| /ontohub/lib/hets/provers/ | ||
| H A D | importer.rb | 3 class Importer class in class:Hets.Provers |
| /ontohub/lib/hets/prove/ | ||
| H A D | importer.rb | 3 class Importer class in class:Hets.Prove |
| /ontohub/lib/hets/dg/ | ||
| H A D | importer.rb | 3 class Importer class in class:Hets.DG |
Completed in 8 milliseconds