Searched defs:includes (Results 1 - 12 of 12) sorted by relevance
/seL4-l4v-master/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-master/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-master/l4v/tools/c-parser/standalone-parser/ |
H A D | main.sml | 426 val includes = ref ([] : string list) value
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | Holmake_tools.sml | 775 val {includes,preincludes} = incinfo value [all...] |
H A D | Holmake.sml | [all...] |
/seL4-l4v-master/HOL4/tools/ |
H A D | buildutils.sml | 463 val {includes,extra_cleans,...} = hmakefile_data HOLDIR value 470 val {includes,extra_cleans,...} = hmakefile_data HOLDIR value 480 val {includes,holheap,...} = hmakefile_data HOLDIR value
|
Completed in 259 milliseconds