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

/seL4-l4v-master/HOL4/src/datatype/
H A Dselftest.sml122 val rnd = repeat rand r value
/seL4-l4v-master/HOL4/src/simp/src/
H A DCond_rewr.sml342 val rnd = rand conc value
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml2289 let val rnd = rand (rhs (concl thm)) value

Completed in 57 milliseconds