/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
H A D | lzConv.sml | 498 let val all = dest_neg tm value 521 val all = mk_forall{Bvar=Bvar, Body=mk_neg Body} value [all...] |
/seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/ |
H A D | book-essence.lisp | |
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
H A D | encodeLib.sml | 1006 val all = check_function get_all_function t value [all...] |
H A D | functionEncodeLib.sml | 1180 fun all [] thm = raise Empty function [all...] |
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
H A D | circuit-bisim.lisp | [all...] |
H A D | circuits.lisp | [all...] |
H A D | cone-of-influence.lisp | [all...] |
H A D | summary.lisp | [all...] |
/seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
H A D | Map.sig | 69 val all : ('key * 'a -> bool) -> ('key,'a) map -> bool value
|
H A D | Map.sml | 572 fun all p m = not (exists (not o p) m); function
|
H A D | Stream.sig | 66 val all : ('a -> bool) -> 'a stream -> bool value
|
H A D | Stream.sml | 115 fun all pred = not o exists (not o pred); function
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
H A D | func_decompileLib.sml | 150 val all = fs |> map (rand o concl) value
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/ |
H A D | x86_encodeLib.sml | 201 val all = try_all use_encoding ys value
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
H A D | x64_encodeLib.sml | 293 val all = try_all use_encoding ys value
|
/seL4-l4v-10.1.1/HOL4/polyml/Tests/ |
H A D | RunTests.sml | 44 fun all () = fold (fn(s, v, l) => (s, v) :: l) (globalAll()) table function [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | ArraySignature.sml | 50 val all: ('a -> bool) -> 'a array -> bool value
|
H A D | ArraySliceSignature.sml | 53 val all: ('a -> bool) -> 'a slice -> bool value
|
H A D | BIT_FLAGS.sml | 28 val all: flags value
|
H A D | FinalPolyML.sml | 49 val all: 'a ptable -> unit -> (string * 'a) list value 60 and all(tab, mutx) = protect mutx (fn () => fold (fn (s, v, l) => ((s, v) :: l)) [] tab) function [all...] |
H A D | List.sml | 126 fun all _ [] = true function
|
H A D | ListPair.sml | 37 val all : ('a * 'b -> bool) -> ('a list * 'b list) -> bool value 97 fun all f (h::t, h'::t') = if f(h, h') then all f (t, t') else false function
|
H A D | ListSignature.sml | 51 val all : ('a -> bool) -> 'a list -> bool value
|
H A D | MONO_ARRAY.sml | 49 val all: (elem -> bool) -> array -> bool value
|
H A D | MONO_ARRAY_SLICE.sml | 54 val all: (elem -> bool) -> slice -> bool value
|