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

/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dapply-total-order.lisp
/seL4-l4v-master/HOL4/src/new-datatype/
H A DNDatatype.sml369 val no = List.length ty_names value
/seL4-l4v-master/HOL4/src/real/
H A DRealArith.sml1155 val (no,yes) = partition value

Completed in 52 milliseconds