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

/hets/Isabelle/export/
H A Dexport_helper.ml259 imports: string list,
298 #> e (keyword "imports") #> many (p name)
600 imports = i,
1092 val imports = List.map var
1109 imports@axioms@theorems@consts@datatypes
H A Dparser.ml626 (let val {name = (name, _), imports, uses, ...} = header
630 val parents = List.map (Thy_Info.get_theory o #1) imports
1289 in xml_of_theory v full end) (#imports h)
1291 val imports = List.map xml_of_import (#imports h) var
1304 in thys@[xml "Thy" (name@header') (imports@keywords@body')] end;
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...

Completed in 1057 milliseconds