Searched defs:SUBSET (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/gold/
H A Dsets.lisp5 (DEFUN SUBSET (X Y) function
[all...]
H A Dcircuit-bisim.lisp[all...]
H A Dltl-project.lisp
H A Dsummary.lisp21 (DEFUN SUBSET (X Y) function
[all...]
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dmore_setScript.sml492 val SUBSET = save_thm("SUBSET", CONJ EMPTY_SUBSET INSERT_SUBSET); value
[all...]

Completed in 104 milliseconds