Searched defs:up (Results 1 - 13 of 13) sorted by relevance
/seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
H A D | regexpMisc.sml | 33 fun up i A = if i > t then A else up (i + one) (i :: A) function
|
/seL4-l4v-master/HOL4/examples/acl2/lisp/ |
H A D | a2ml.lisp | |
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | NormalVertex.java | 18 Vector up,down,inflate=null; field in class:NormalVertex
|
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | NormalVertex.java | 18 Vector up,down,inflate=null; field in class:NormalVertex
|
/seL4-l4v-master/HOL4/tools-poly/poly/ |
H A D | Help.sml | 139 fun up () = (print "\n....\n"; function
|
/seL4-l4v-master/HOL4/src/compute/src/ |
H A D | clauses.sml | 270 and up (dt, Ztop) = dt function
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | realconv.cpp | 1838 int big, denorm, esign, havedig, k, n, nbits, up, zret; variable [all...] |
H A D | xwindows.cpp | 2762 int up,down; /* count of button transitions */ member in struct:__anon19 2996 PolyWord up; /* ML int */ member in struct:__anon23
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | Portable.sml | 229 fun up i A = if i > t then A else up (i + 1) (i :: A) function
|
/seL4-l4v-master/HOL4/examples/machine-code/hoare-triple/ |
H A D | helperLib.sml | 1382 val up = hd (sort (fn x => fn y => term_size x >= term_size y) ys) value
|
/seL4-l4v-master/HOL4/tools/ |
H A D | holscript-mode.el | |
/seL4-l4v-master/HOL4/examples/ARM/v7/ |
H A D | arm_parserLib.sml | 3318 val up = mk_bool (0 <= v andalso not (i ~~ ``-0i``)) value
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | FinalPolyML.sml | 1852 fun up () = function
|
Completed in 140 milliseconds