Searched defs:includes (Results 1 - 11 of 11) sorted by relevance
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | problems2tptp.sml | 63 val includes = [] value
|
H A D | Tptp.sig | 180 type includes = string list type
|
H A D | metis.sml | 213 val includes = [] value 360 val includes = List.revAppend (i,includes) value 376 val includes = List.rev includes value [all...] |
H A D | Tptp.sml | 1765 type includes = string list; type 2108 val (includes,formulas) = partitionDeclarations declarations value [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | problems2tptp.sml | 63 val includes = [] value
|
H A D | Tptp.sig | 180 type includes = string list type
|
H A D | metis.sml | 213 val includes = [] value 360 val includes = List.revAppend (i,includes) value 376 val includes = List.rev includes value [all...] |
H A D | Tptp.sml | 1765 type includes = string list; type 2108 val (includes,formulas) = partitionDeclarations declarations value [all...] |
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/ |
H A D | main.sml | 430 val includes = ref ([] : string list) value
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | Holmake_tools.sml | 718 val {includes,preincludes} = incinfo value [all...] |
/seL4-l4v-10.1.1/HOL4/tools/ |
H A D | buildutils.sml | 460 val {includes,extra_cleans,...} = hmakefile_data HOLDIR value 467 val {includes,extra_cleans,...} = hmakefile_data HOLDIR value 477 val {includes,holheap,...} = hmakefile_data HOLDIR value
|
Completed in 202 milliseconds