Searched defs:body2 (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DpairLib.sml165 val body2 = Term.subst (map2 (curry op |->) vs1 vs2) body1 value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A DregAlloc.sml676 val body2 = alloc_mem(args1,body1) value
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dind_rel.sml1575 val body2 = UNDISCH imp2 value
/seL4-l4v-10.1.1/HOL4/src/quotient/src/
H A Dquotient.sml4114 val body2 = if null ants then conseq2 value

Completed in 104 milliseconds