Searched defs:delta (Results 1 - 16 of 16) sorted by relevance
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | type_grammar_dtype.sml | 12 datatype delta = type
|
H A D | type_grammar.sig | 8 datatype delta = datatype type_grammar_dtype.delta type
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibMeson.sig | 39 val delta : solver_node (* Uses defaults *) value
|
H A D | mlibMeson.sml | 625 val delta = delta' ("delta",defaults); value
|
/seL4-l4v-10.1.1/HOL4/src/prekernel/ |
H A D | FinalType-sig.sml | 35 val delta : hol_type value
|
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
H A D | Regexp_Match.sml | 94 val delta = 3; value
|
/seL4-l4v-10.1.1/HOL4/src/0/ |
H A D | Type.sml | 168 val delta = Tyv "'d" value
|
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/ |
H A D | Type.sml | 163 val delta = Tyv "'d" value
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
H A D | selftest.sml | 33 val delta = Redblackset.listItems o Redblackset.difference value
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | regexpMatch.sml | 344 let val {delta,start,final} = regexp_to_dfa_arrays r value
|
/seL4-l4v-10.1.1/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-10.1.1/HOL4/src/integer/ |
H A D | CooperCore.sml | 221 val delta = if null all_deltas then Arbint.one else lcml all_deltas value [all...] |
/seL4-l4v-10.1.1/HOL4/src/tfl/src/ |
H A D | RW.sml | 423 datatype delta = CHANGE of thm | NO_CHANGE of thm; type
|
/seL4-l4v-10.1.1/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-10.1.1/HOL4/examples/l3-machine-code/common/ |
H A D | stateLib.sml | 1547 val delta = wordsSyntax.mk_word (Arbnum.fromInt n, sz) value
|
Completed in 177 milliseconds