Searched defs:le (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/
H A Dcombin.tex[all...]
/seL4-l4v-10.1.1/HOL4/src/real/
H A DrealaxScript.sml159 val le = (EQT_ELIM o AC_CONV(assoc,sym) o mk_eq) (l1,l2) value
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Ddrules.tex[all...]
H A Dlibraries.tex[all...]
H A Dtheories.tex[all...]
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DcacheTools.sml79 val le = List.nth(ll1,0) value
/seL4-l4v-10.1.1/HOL4/src/floating-point/
H A Dbinary_ieeeLib.sml544 val le = realSyntax.mk_leq (mk_threshold tw, x) value
560 val le = realSyntax.mk_leq (x, mk_neg_threshold tw) value
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DintegerScript.sml127 val (le, re) = pair_from_list value

Completed in 82 milliseconds