Searched defs:eq (Results 1 - 25 of 56) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DUGeneral.sml10 fun eq x y = x=y function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DUGeneral.sml10 fun eq x y = x=y function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/
H A DUGeneral.sml10 fun eq x y = x=y function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibOmegaint.sml6 val eq = op= value
H A DmlibOmegaint.sig11 val eq : int * int -> bool value
H A DmlibCanon.sml231 val eq = value
260 fun eq Non_equality = "non-equality" function
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/redirects/
H A DmlibOmegaint.sml11 val eq = op=; value
/seL4-l4v-10.1.1/HOL4/src/opentheory/compat/
H A DcombinWriter.sml33 val eq = Parse.Term q value
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/
H A DVarmap.sig9 val eq : varmap * varmap -> bool value
H A DVarmap.sml88 val eq = Portable.pointer_eq : varmap*varmap->bool; value
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dcore.sml45 val eq = eqItem value
H A Dlook.sml27 val eq = eqTerm value
44 val eq = eqNonterm value
H A Dcoreutils.sml32 val eq = eqNonterm value
H A Dgraph.sml38 val eq = eqCore value
H A Dshrink.sml39 val eq : entry * entry -> bool value
202 val eq = fn ((l,a),(l',a')) => a=a' andalso eqlist(l,l') value
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dcircuit-bisim.lisp[all...]
H A Dcone-of-influence.lisp[all...]
H A Dsummary.lisp[all...]
/seL4-l4v-10.1.1/HOL4/src/marker/
H A DmarkerSyntax.sml20 val eq = mk_eq (l,tm) value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/
H A Darm_configLib.sml133 fun eq t f = boolSyntax.mk_eq (t, f c) function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DPreterm.sig21 val eq : preterm -> preterm -> bool value
H A Dtestutils.sml153 val (eq, l) = dest_comb eql value
/seL4-l4v-10.1.1/HOL4/examples/countable/
H A DcountableLib.sml32 val eq = mk_eq (lhs, rhs) value
/seL4-l4v-10.1.1/HOL4/src/meson/src/
H A DCanon_Port.sml56 let val eq = ``!f:'a->'b. !x. f x = I f x`` value
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/
H A DOpentheory.sml117 fun eq (h,c) th = function

Completed in 116 milliseconds

123