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

/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A DMB_Monitor.sml48 val (su,sn) = if withsecs then ("s", 1) else ("", 0) value
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Dsystem.tex
H A Dtheories.tex[all...]
H A Dlibraries.tex[all...]
/seL4-l4v-master/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-master/HOL4/examples/separationLogic/src/
H A DseparationLogicLib.sml526 val su = subst [x1 |-> l1, x2 |-> l2] value

Completed in 77 milliseconds