Searched defs:IMPLIES (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/gold/
H A Dtotal-order.lisp
H A Dltl-project.lisp
H A Dapply-total-order.lisp[all...]
H A Dcircuit-bisim.lisp[all...]
H A Dsummary.lisp[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp19 (DEFUN IMPLIES (P Q) (IF P (IF Q 'T 'NIL) 'T)) function
[all...]

Completed in 199 milliseconds