Searched defs:EQ (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/HOL4/examples/acl2/tests/gold/
H A Dcircuit-bisim.lisp[all...]
H A Dsummary.lisp[all...]
/seL4-l4v-master/HOL4/Manual/Translations/IT/Tutorial/
H A Dlogic.tex
/seL4-l4v-master/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp41 (DEFUN EQ (X Y) (EQUAL X Y)) function
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DImport.sig242 val EQ : Term.term * Term.term -> Term.term value
H A DImport.sml477 fun EQ (x, y) = boolSyntax.mk_eq (x, y) function
/seL4-l4v-master/HOL4/Manual/Tutorial/
H A Dlogic.tex
/seL4-l4v-master/HOL4/src/0/
H A DTerm.sml501 fun EQ(t1,t2) = fast_term_eq t1 t2 function

Completed in 115 milliseconds