Searched defs:e0 (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/HOL4/src/floating-point/ |
H A D | binary_ieeeLib.sml | 388 val e0 = boolSyntax.mk_eq value
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | realconv.cpp | 544 BCinfo { int dp0, dp1, dplen, dsign, e0, inexact, nd, nd0, rounding, scale, uflchk; }; member in struct:BCinfo
|
/seL4-l4v-master/HOL4/src/bool/ |
H A D | boolScript.sml | 3515 val ([e0,e1], _) = strip_forall (concl COND_CLAUSES) value [all...] |
Completed in 76 milliseconds