| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 421 fun sort cmp = function
|
| H A D | Useful.sig | 192 val sort : ('a * 'a -> order) -> 'a list -> 'a list value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 421 fun sort cmp = function
|
| H A D | Useful.sig | 192 val sort : ('a * 'a -> order) -> 'a list -> 'a list value
|
| /seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
| H A D | Graph.java | 203 public Vector sort() { method in class:Graph
|
| /seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
| H A D | Graph.java | 203 public Vector sort() { method in class:Graph
|
| /seL4-l4v-10.1.1/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-10.1.1/HOL4/tools/Holmake/ |
| H A D | Holmake_tools.sml | 486 fun sort l = let function
|
| H A D | Holmake_tools.sig | 84 val sort : t list -> t list value
|
| /seL4-l4v-10.1.1/HOL4/tools-poly/poly/ |
| H A D | Listsort.sml | 9 fun sort ordr [] = [] function
|
| H A D | Listsort.sig | 5 val sort : ('a * 'a -> order) -> 'a list -> 'a list value
|
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Lib.sig | 135 val sort : ('a -> 'a -> bool) -> 'a list -> 'a list value
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | TheoryPP.sml | 30 val sort = Lib.sort (fn s1:string => fn s2 => s1<=s2); value
|
| H A D | HolKernel.sml | 466 val sort = Lib.sort (Lib.curry (op <=) : int -> int -> bool) value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Portable.sml | 313 fun sort P = function
|
| H A D | Portable.sig | 99 val sort : ('a -> 'a -> bool) -> 'a list -> 'a list value
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibUseful.sml | 337 fun sort cmp = function
|
| H A D | mlibUseful.sig | 103 val sort : 'a ordering -> 'a list -> 'a list value
|
| /seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/HOL4/src/1/ |
| H A D | AC_Sort.sml | 42 fun sort {cmp, combine, dest, mk, assoc, comm, preprocess} = let function
|
| H A D | AC_Sort.sig | 5 val sort : {assoc : thm, comm : thm, value
|
| /seL4-l4v-10.1.1/HOL4/examples/pgcl/src/ |
| H A D | posrealTools.sml | 203 fun sort is_op swap inv tm = function
|
| /seL4-l4v-10.1.1/HOL4/examples/miller/useful/ |
| H A D | HurdUseful.sml | 306 fun sort f l = function
|