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

/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dsexp.sml805 fun is_nat tm = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dsexp.sml731 fun is_nat tm = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dsexp.sml731 fun is_nat tm = function

Completed in 102 milliseconds