Searched defs:su (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Dsystem.tex
H A Dtheories.tex[all...]
H A Dlibraries.tex[all...]
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A Dholfoot_pp_print.sml330 val su = map (op |->) (zip vL vL'); value
385 val su = map (op |->) (zip vL vL'); value
515 val su = map (op |->) (zip vL vL'); value
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/
H A DseparationLogicLib.sml526 val su = subst [x1 |-> l1, x2 |-> l2] value

Completed in 77 milliseconds