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

/seL4-l4v-master/HOL4/examples/CCS/
H A DCCSSyntax.sml29 val restr = prim_mk_const {Name="restr", Thy="CCS"}; value
/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml3268 let val restr = hd args value

Completed in 106 milliseconds