Searched defs:is_int (Results 1 - 4 of 4) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dlogic.py22 def is_int (n): function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dsexp.sml755 fun is_int tm = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dsexp.sml755 fun is_int tm = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dsexp.sml829 fun is_int tm = function

Completed in 75 milliseconds