Searched defs:parents (Results 1 - 3 of 3) sorted by relevance
/hets/Isabelle/export/ | ||
H A D | export_helper.ml | 219 parents:string list, 222 parents:string list, 366 (v,Class { name = n,parents = ps, 375 (v,Locale { name = n,parents = ps, 632 (* name * parents * assumes * fixes *) 638 ex-locale axioms * parents *) 710 fun theory_of_string body parents = 715 Position.start text parents) end 819 val parents' = List.concat (List.map 823 val parents 916 val parents = List.map repr_name ps var 935 val parents = List.map repr_name ps var [all...] |
/hets/OWL2/java/lib/ | ||
H A D | owlapi-osgidistribution-3.5.2.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ... |
/hets/CASL/Termination/ | ||
H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
Completed in 9447 milliseconds