Searched defs:delta (Results 1 - 19 of 19) sorted by relevance
/seL4-l4v-master/HOL4/src/parse/ |
H A D | type_grammar_dtype.sml | 12 datatype delta = type
|
H A D | AncestryData.sig | [all...] |
H A D | type_grammar.sig | 8 datatype delta = datatype type_grammar_dtype.delta type
|
H A D | AncestryData.sml | |
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibMeson.sig | 39 val delta : solver_node (* Uses defaults *) value
|
H A D | mlibMeson.sml | 628 val delta = delta' ("delta",defaults); value
|
/seL4-l4v-master/l4v/misc/stats/ |
H A D | stats.py | 140 delta = timedelta(weeks=args.weeks) variable
|
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | FinalType-sig.sml | 35 val delta : hol_type value
|
/seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
H A D | Regexp_Match.sml | 94 val delta = 3; value
|
/seL4-l4v-master/HOL4/src/0/ |
H A D | Type.sml | 169 val delta = Tyv "'d" value
|
/seL4-l4v-master/HOL4/src/experimental-kernel/ |
H A D | Type.sml | 164 val delta = Tyv "'d" value
|
/seL4-l4v-master/HOL4/examples/ARM/v7/ |
H A D | selftest.sml | 33 val delta = Redblackset.listItems o Redblackset.difference value
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | regexpMatch.sml | 344 let val {delta,start,final} = regexp_to_dfa_arrays r value
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | UnicodeChars.sig | 8 val delta : string value
|
H A D | UnicodeChars.sml | 10 val delta = U 0x03B4 value
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | realconv.cpp | 2575 Bigint *bb, *bb1, *bd, *bd0, *bs, *delta; variable 2934 Bfree(delta); variable 3572 Bfree(delta); variable 3578 Bfree(delta); variable 3783 Bigint *b, *b1, *delta, *mlo=0, *mhi, *S; variable 4289 Bfree(delta); variable [all...] |
/seL4-l4v-master/HOL4/src/tfl/src/ |
H A D | RW.sml | 421 datatype delta = CHANGE of thm | NO_CHANGE of thm; type
|
/seL4-l4v-master/HOL4/src/integer/ |
H A D | CooperCore.sml | 226 val delta = if null all_deltas then Arbint.one else lcml all_deltas value [all...] |
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/ |
H A D | stateLib.sml | 1552 val delta = wordsSyntax.mk_word (Arbnum.fromInt n, sz) value
|
Completed in 283 milliseconds