Searched defs:sup (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DSol_ranges.sml166 val sup = eval_bound (SIMP (SUP coeffsl' (b,[]))) value
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/
H A DDerivedBddRules.sml90 val sup = bdd.scanset(bdd.support b) value
/seL4-l4v-10.1.1/HOL4/src/real/
H A DrealScript.sml2012 val sup = new_definition("sup", value
[all...]

Completed in 70 milliseconds