Searched defs:build (Results 1 - 15 of 15) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/ |
| H A D | ConsThms.sig | 5 val build : {New_Ty_Existence_Thm : thm, value
|
| H A D | ConsThms.sml | 32 fun build {New_Ty_Existence_Thm, New_Ty_Induct_Thm,New_Ty_Uniqueness_Thm} function
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/queen/ |
| H A D | queen.cxx | 38 void build(int i, int j) function
|
| /seL4-l4v-10.1.1/HOL4/tools/ |
| H A D | build.sml | 5 structure build = structure
|
| /seL4-l4v-10.1.1/HOL4/tools-poly/ |
| H A D | build.sml | 5 structure build = structure
|
| /seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
| H A D | Term_coeffs.sml | 226 fun build bind = function
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | parse_type.sml | 110 fun build acc bits = function
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Redblackset.sml | 157 fun build ZERO a = a function
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/zc2hs/ |
| H A D | zc2hs.cpp | 408 void build(int ci) { function in class:Z2M
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | Holmake.sml | 608 fun build tgt' g = function
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | windows_specific.cpp | 710 Handle build = Make_fixed_precision(taskData, osver.dwBuildNumber); local
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | Pmatch.sml | 199 fun build (prefix,tag,plist) = function
208 fun build (prefix,tag,plist) = function
|
| /seL4-l4v-10.1.1/HOL4/src/tfl/src/ |
| H A D | Induction.sml | 53 fun build ex [] = [] function
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_compiler_opScript.sml | 2071 fun build ([],v) = v function
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | Theory.sml | 886 val build = Systeml.build_log_file value
|
Completed in 298 milliseconds