| /seL4-l4v-10.1.1/HOL4/tools/ |
| H A D | unquote-init.sml | 14 fun loop() = function
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
| H A D | condition_guard.c | 48 void loop(int *p) { function
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/ |
| H A D | while_loop_vars_preserved.c | 11 unsigned loop(unsigned dog, unsigned cat, unsigned mouse, unsigned horse) function
|
| /seL4-l4v-10.1.1/HOL4/tools/quote-filter/ |
| H A D | quote-filter.sml | 39 fun loop() = function
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Resolution.sig | 49 val loop : resolution -> decision value
|
| H A D | Resolution.sml | 113 fun loop res = function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Resolution.sig | 49 val loop : resolution -> decision value
|
| H A D | Resolution.sml | 113 fun loop res = function
|
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
| H A D | verbose.sml | 150 fun loop i = function
|
| H A D | coreutils.sml | 92 let fun loop i = if i = nonterms then nil function
|
| H A D | hdr.sml | 123 fun loop (nil,r) = r function
|
| H A D | mkprstruct.sml | 58 fun loop n = if n=256 then () function
|
| H A D | shrink.sml | 93 fun loop (a :: nil) = a function
135 let fun loop (index,nil) = nil function
140 local fun loop (( function
154 fun loop (elem :: r, dest :: s) = function
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/HolSat/ |
| H A D | minisatParse.sml | 79 fun loop acc len = function
105 fun loop idx' acc = function
|
| H A D | dimacsTools.sml | 330 let fun loop src (acc,svm) = function
348 let fun loop src (acc,svm,sva) = function
|
| /seL4-l4v-10.1.1/HOL4/src/coretypes/ |
| H A D | pairLib.sml | 56 fun loop tm vs = function
|
| /seL4-l4v-10.1.1/HOL4/src/floating-point/native/ |
| H A D | native_ieeeLib.sml | 38 fun loop a i x = function
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/ |
| H A D | L3.sml | 101 fun loop i = function
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/decompiler/ |
| H A D | m0_core_decompLib.sml | 111 and loop looped opc e s = value
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | wlogLib.sml | 35 fun loop l conj_thm thm = function
|
| /seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/ |
| H A D | Opentheory.sml | 258 fun loop (x as {line_num,...}) = case TextIO.inputLine input of function
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Redblackmap.sml | 28 and loop LEAF = raise NotFound function
106 let fun loop stack acc = function
117 let fun loop stac function
190 let fun loop LEAF = LEAF function
202 let fun loop LEAF = LEAF function
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Lexis.sml | 120 let fun loop i = (Word8Array.sub(alphanumerics,ordof(str,i)) = bone) function
134 let fun loop i = (Word8Array.sub(tyvar_ids,ordof(str,i)) = bone) function
147 let fun loop i = (Word8Array.sub(hol_symbols,ordof(str,i)) = bone) function
211 let fun loop function
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | Traverse.sml | 280 fun loop tm = let function
|
| /seL4-l4v-10.1.1/HOL4/src/tactictoe/src/ |
| H A D | tttMinimize.sml | 174 fun loop proof = case proof of function
|