/seL4-l4v-master/HOL4/examples/dev/sw/ |
H A D | UGeneral.sml | 10 fun eq x y = x=y function
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
H A D | UGeneral.sml | 10 fun eq x y = x=y function
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | UGeneral.sml | 10 fun eq x y = x=y function
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibOmegaint.sml | 6 val eq = op= value
|
H A D | mlibOmegaint.sig | 11 val eq : int * int -> bool value
|
H A D | mlibCanon.sml | 231 val eq = value 260 fun eq Non_equality = "non-equality" function
|
/seL4-l4v-master/HOL4/tools-poly/poly/redirects/ |
H A D | mlibOmegaint.sml | 11 val eq = op=; value
|
/seL4-l4v-master/HOL4/src/opentheory/compat/ |
H A D | combinWriter.sml | 33 val eq = Parse.Term q value
|
/seL4-l4v-master/HOL4/examples/HolBdd/ |
H A D | Varmap.sig | 9 val eq : varmap * varmap -> bool value
|
H A D | Varmap.sml | 88 val eq = Portable.pointer_eq : varmap*varmap->bool; value
|
/seL4-l4v-master/HOL4/tools/mlyacc/src/ |
H A D | core.sml | 45 val eq = eqItem value
|
H A D | look.sml | 27 val eq = eqTerm value 44 val eq = eqNonterm value
|
H A D | coreutils.sml | 32 val eq = eqNonterm value
|
H A D | graph.sml | 38 val eq = eqCore value
|
H A D | shrink.sml | 39 val eq : entry * entry -> bool value 202 val eq = fn ((l,a),(l',a')) => a=a' andalso eqlist(l,l') value
|
/seL4-l4v-master/HOL4/examples/AI_tasks/ |
H A D | mleCombinProve.sml | 34 val eq = mk_eq (list_mk_cA [cC,v1,v2,v3],headnf) value
|
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/ |
H A D | circuit-bisim.lisp | [all...] |
H A D | cone-of-influence.lisp | [all...] |
H A D | summary.lisp | [all...] |
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/step/ |
H A D | arm_configLib.sml | 133 fun eq t f = boolSyntax.mk_eq (t, f c) function
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | Preterm.sig | 21 val eq : preterm -> preterm -> bool value
|
/seL4-l4v-master/HOL4/src/meson/src/ |
H A D | Canon_Port.sml | 60 let val eq = ``!f:'a->'b. !x. f x = I f x`` value
|
/seL4-l4v-master/HOL4/src/pred_set/src/ |
H A D | PGspec.sml | 85 val eq = IMP_ANTISYM_RULE imp1 imp2 value 131 val (eq,body) = dest_conj Body value
|
/seL4-l4v-master/HOL4/src/rational/ |
H A D | schneiderUtils.sml | 253 val eq = mk_eq(t,term) value
|
/seL4-l4v-master/HOL4/src/ring/src/ |
H A D | ringLib.sml | 189 let val eq = inst [alpha |-> ty] boolSyntax.equality value
|