Searched defs:forall (Results 1 - 20 of 20) sorted by relevance

/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A Ddrules.tex[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A DwlogLib.sml81 fun forall vars t = list_mk_forall (vars, t) function
H A DDrule.sml390 val forall = AP_TERM (inst [alpha |-> type_of x] boolSyntax.universal) value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DTable.sml34 val forall: (key * 'a -> bool) -> 'a table -> bool value
175 fun forall pred = not o exists (not o pred); function
H A DUnicodeChars.sig109 val forall : string value
H A DUnicodeChars.sml40 val forall = U 0x2200 value
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sig44 val forall : varSet -> bdd -> bdd value
H A Dbdd.sml145 fun forall vs r = forall_ r vs function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DregAllocation.sml149 fun forall p [] = true function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DregAllocation.sml149 fun forall p [] = true function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DregAllocation.sml149 fun forall p [] = true function
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DDatatype.sml774 val forall = value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DNormalize.sml502 fun forall fm = if freeIn v fm then forall_free fm else fm function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DNormalize.sml502 fun forall fm = if freeIn v fm then forall_free fm else fm function
/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/
H A DformalizeUseful.sig114 val forall : ('a -> bool) -> 'a list -> bool value
H A DsubtypeUseful.sig114 val forall : ('a -> bool) -> 'a list -> bool value
H A DformalizeUseful.sml233 val forall = List.all; value
H A DsubtypeUseful.sml233 val forall = List.all; value
/seL4-l4v-10.1.1/HOL4/examples/miller/useful/
H A DHurdUseful.sig113 val forall : ('a -> bool) -> 'a list -> bool value
H A DHurdUseful.sml209 val forall = List.all; value

Completed in 137 milliseconds