Searched defs:body1 (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A DregAlloc.sml675 val body1 = #1 (g_repeat dest cont regenv body) value
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dind_rel.sml1574 val body1 = UNDISCH imp1 value

Completed in 81 milliseconds