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

/seL4-l4v-master/HOL4/src/num/theories/
H A DDecimalFractionPP.sml41 val nums = map getNum args value
/seL4-l4v-master/HOL4/src/num/arith/src/
H A DGen_arith.sml129 val (nums, others) = partition is_numeral ms value
/seL4-l4v-master/HOL4/examples/bootstrap/
H A Dautomation_lemmasScript.sml551 val nums = map (fn t => ���name ^t���) strs value
/seL4-l4v-master/HOL4/src/integer/
H A DOmegaMath.sml440 val (nums, others) = partition is_lit ms value
/seL4-l4v-master/HOL4/src/refute/
H A DCanon.sml699 let val nums = get_heads v tm [] value
/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml191 let val nums = upto 1 (length tylist) value

Completed in 89 milliseconds