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

/seL4-l4v-10.1.1/HOL4/examples/lambda/basics/
H A DbinderLib.sml373 val new_body = Term.subst f_applied r_term value
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttUnfold.sml474 val new_body = sketch body value
805 val new_body = unfold 0 lstack body value

Completed in 46 milliseconds