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

/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/
H A DformalizeUseful.sml1237 val (mx, sx) = initialize th value
H A DsubtypeUseful.sml1246 val (mx, sx) = initialize th value
/seL4-l4v-10.1.1/HOL4/examples/miller/useful/
H A DHurdUseful.sml1177 val (mx, sx) = initialize th value

Completed in 54 milliseconds