Searched defs:refine (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibSubst.sig25 val refine : subst -> subst -> subst value
H A DmlibSubst.sml117 fun refine (mlibSubst sub1) sub2 = function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Drefine.sml1 structure refine = structure

Completed in 48 milliseconds