Searched defs:IN (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/gold/
H A Dltl.lisp
H A Dcircuit-bisim.lisp
H A Dm1-story.lisp[all...]
H A Dsummary.lisp
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dmore_setScript.sml484 val IN = save_thm("IN", CONJ NOT_IN_EMPTY IN_INSERT); value
[all...]
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sig20 val IN : 'a * 'a set -> bool value
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp[all...]

Completed in 55 milliseconds