Searched defs:threshold (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Dinline.sig4 val threshold : int ref value
H A Dinline.sml13 val threshold = ref 10; value
/seL4-l4v-10.1.1/HOL4/src/float/
H A DieeeScript.sml190 val threshold = new_definition ( value
/seL4-l4v-10.1.1/HOL4/src/floating-point/
H A Dbinary_ieeeLib.sml143 val threshold = Arbrat.* (n, frac (t + 1)) value
H A Dbinary_ieeeScript.sml3378 val threshold = Q.store_thm("threshold", value
[all...]

Completed in 155 milliseconds