Searched defs:c0 (Results 1 - 13 of 13) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/money/ |
| H A D | money.cxx | 40 bvec c0 = bvec_con(5,0); local
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/adder/ |
| H A D | adder.cxx | 91 long c0 = clock(); local
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | ParseDatatype.sml | 132 val c0 = String.sub(s, 0) value
|
| H A D | term_tokens.sml | 204 val c0 = String.sub(sfx0_1, 0) value
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | FunctionalRecordUpdate.sml | 31 fun c0 from = from function
|
| /seL4-l4v-10.1.1/HOL4/src/integer/ |
| H A D | OmegaMLShadow.sml | 132 val c0 = sub(av1, i) value
689 val c0 = eval_factoid_except vmap i f value
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibOmega.sml | 169 val c0 = sub(av1, i) value
745 val c0 = eval_factoid_except vmap i f value
|
| /seL4-l4v-10.1.1/HOL4/src/emit/ |
| H A D | EmitML.sml | 148 let val c0 = String.sub(s,0) value
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | arm_parserLib.sml | 1991 val (c0,nc0) = if is_T cond0 then (1,0) else (0,1) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/datatype/ |
| H A D | ind_types.sml | 64 let val c0 = prim_mk_const{Name = n, Thy = thy} value
1040 val c0 = fst(dest_const(fst(strip_comb ctm0))) value
|
| /seL4-l4v-10.1.1/HOL4/src/quantHeuristics/ |
| H A D | quantHeuristicsLibBase.sml | 1971 val c0 = RATOR_CONV o RAND_CONV value
1996 val c0 = if neg then (RAND_CONV BETA_CONV) else BETA_CONV value
|
| /seL4-l4v-10.1.1/HOL4/src/bool/ |
| H A D | boolScript.sml | 3769 val c0 = TRANS (ASSUME fT_eq_T) (SYM (BETA_CONV (mk_comb(Ibool,T)))) value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | polytypicLib.sml | 1387 val c0 = rator c_term value
|
Completed in 249 milliseconds