Searched defs:w2 (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DKnuthBendixOrder.sml134 and w2 = weightTerm weight tm2 value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DKnuthBendixOrder.sml134 and w2 = weightTerm weight tm2 value
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DpairTools.sml158 val w2 = list_mk_forall(strip_pair vtuple,w1) value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/step/
H A Darm8_stepLib.sml384 fun w2 i = bitstringSyntax.padded_fixedwidth_of_num (Arbnum.fromInt i, 2) function

Completed in 49 milliseconds