Searched defs:prop (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dtest1.lisp
H A Dtest1a.lisp
H A Dtest2.lisp
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibCanon.sig37 datatype prop = Propositional | Effectively_propositional | Non_propositional type
H A DmlibCanon.sml214 datatype prop = Propositional | Effectively_propositional | Non_propositional; type
226 val prop = value
256 fun prop Propositional = "propositional" function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/
H A Darm_configLib.sml132 fun prop f t = if f c then t else neg t function
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DExportTree.sml113 fun prop (DeclaredAt loc) = PTdeclaredAt loc function
126 fun prop (DeclaredAt loc, l) = PTdeclaredAt loc :: l function
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dfdt.c118 struct fdt_scan_prop prop; local
[all...]
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DInduction.sml603 val (prop,Body) = dest_forall(concl thm) value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml4077 val prop = snd (encode_until [once] ([],[]) value
4193 val (prop,thm,term) = create_abstracted_definition_term value

Completed in 192 milliseconds