/seL4-l4v-master/HOL4/src/1/ |
H A D | AC_Sort.sig | 5 val sort : {assoc : thm, comm : thm, value
|
H A D | AC_Sort.sml | 42 fun sort {cmp, combine, dest, mk, assoc, comm, preprocess} = let function
|
/seL4-l4v-master/HOL4/tools-poly/poly/ |
H A D | Listsort.sig | 5 val sort : ('a * 'a -> order) -> 'a list -> 'a list value
|
H A D | Listsort.sml | 9 fun sort ordr [] = [] function
|
/seL4-l4v-master/HOL4/src/sort/ |
H A D | selftest.sml | 11 val sort = ``QSORT $<`` value
|
/seL4-l4v-master/HOL4/developers/mlton-srcs/ |
H A D | Listsort.sml | 3 val sort : ('a * 'a -> order) -> 'a list -> 'a list value 15 fun sort ordr [] = [] function
|
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
H A D | Sort.h | 56 void sort(T* array, int size, LessThan lt, double& seed) function 80 template <class T, class LessThan> void sort(T* array, int size, LessThan lt) { function 82 template <class T> static inline void sort(T* array, int size) { function 114 template <class T, class LessThan> void sort(vec<T>& v, LessThan lt) { function 116 template <class T> void sort(vec<T>& v) { function [all...] |
/seL4-l4v-master/HOL4/tools/mlyacc/src/ |
H A D | shrink.sml | 33 val sort : entry list -> entry list value 71 fun sort nil = nil function [all...] |
/seL4-l4v-master/HOL4/examples/pgcl/src/ |
H A D | posrealTools.sml | 203 fun sort is_op swap inv tm = function
|
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | Graph.java | 203 public Vector sort() { method in class:Graph
|
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | Graph.java | 203 public Vector sort() { method in class:Graph
|
/seL4-l4v-master/HOL4/src/postkernel/ |
H A D | TheoryPP.sml | 46 val sort = Lib.sort (fn s1:string => fn s2 => s1<=s2); value
|
H A D | HolKernel.sml | 469 val sort = Lib.sort (Lib.curry (op <=) : int -> int -> bool) value
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | Holmake_tools.sig | 118 val sort : t list -> t list value
|
/seL4-l4v-master/HOL4/examples/elliptic/ |
H A D | Useful.sig | 215 val sort : 'a ordering -> 'a list -> 'a list value
|
H A D | Useful.sml | 382 fun sort cmp = function
|
/seL4-l4v-master/HOL4/src/integer/ |
H A D | OmegaMath.sml | 441 fun sort nums others t = let function
|
H A D | CooperMath.sml | 454 fun sort tm = function
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibUseful.sig | 103 val sort : 'a ordering -> 'a list -> 'a list value
|
H A D | mlibUseful.sml | 337 fun sort cmp = function
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Useful.sig | 192 val sort : ('a * 'a -> order) -> 'a list -> 'a list value
|
H A D | Useful.sml | 421 fun sort cmp = function
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Useful.sig | 192 val sort : ('a * 'a -> order) -> 'a list -> 'a list value
|
H A D | Useful.sml | 421 fun sort cmp = function
|
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | Lib.sig | 144 val sort : ('a -> 'a -> bool) -> 'a list -> 'a list value
|