Searched defs:implies (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dtotal-order.lisp
H A Dltl-project.lisp[all...]
H A Dapply-total-order.lisp[all...]
H A Dcircuit-bisim.lisp[all...]
H A Dsummary.lisp[all...]
H A Drecords.lisp[all...]
H A Dcone-of-influence.lisp[all...]
H A Dcircuits.lisp[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A DwlogLib.sml82 fun implies t1 t2 = mk_imp (t1, t2) function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dhol_defaxiomsScript.sml86 val implies = value
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A DsexpScript.sml1635 val implies = value
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A DsexpScript.sml1635 val implies = value

Completed in 72 milliseconds