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

/seL4-l4v-master/HOL4/src/metis/
H A DmlibSubsume.sml73 fun compatible a = function
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DSubst.sml124 fun compatible ((_,tm1),(_,tm2)) = function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DSubst.sml124 fun compatible ((_,tm1),(_,tm2)) = function
/seL4-l4v-master/HOL4/src/quotient/examples/lambda/
H A DreductionScript.sml277 val compatible = value
[all...]
/seL4-l4v-master/HOL4/src/quotient/examples/sigma/
H A DreductionScript.sml329 val compatible = value
[all...]

Completed in 64 milliseconds