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 185 milliseconds