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

/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DOpening.sml
/seL4-l4v-10.1.1/HOL4/src/datatype/mutrec/
H A DMutRecDef.sml847 val Body = value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DlzConv.sml157 val {Body = Body',...} = dest_abs r value
[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A DConv.sml161 val {Body = Body', ...} = dest_abs r value
[all...]

Completed in 107 milliseconds