| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibClause.sml | 334 val acc = value
337 val acc = value
[all...] |
| H A D | mlibUseful.sml | 370 val (acc,see value
371 val acc = x :: acc value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/lambda/basics/ |
| H A D | binderLib.sml | [all...] |
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | arm_random_testingLib.sml | 170 let val (acc,sflag,rm) = value
|
| H A D | arm_stepLib.sml | 431 val (acc,upd) = Lib.trypluck' (fn (s,u) => value
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Rule.sml | 709 val (acc,apart) = value
[all...] |
| H A D | Term.sml | 163 val acc = (List.rev path, tm) :: acc value
304 val acc = (List.rev path, tm) :: acc value
315 val acc = (List.rev path, tm) :: acc value
[all...] |
| H A D | Model.sml | 608 val acc = if Word.andb (s,0w1) = 0w0 then acc else acc + 1 value
797 val acc = f (V,acc) value
1187 val acc = value
1209 val acc = if pred i then i :: acc else acc value
1225 val acc = pertTerm M target tm acc value
1242 val acc = value
[all...] |
| H A D | Normalize.sml | 960 val acc value
[all...] |
| H A D | Print.sml | 509 val acc = if p = p' then add t a acc else new t a acc value
519 val acc = new t a [] value
521 val (acc,_) = List.foldl layer (acc,p) ios value
[all...] |
| H A D | Useful.sml | 270 val acc = if List.null row then acc else List.rev row :: acc value
791 val acc = {filename = filename} :: acc value
[all...] |
| H A D | Tptp.sml | 1976 val acc = addFof NegatedConjectureRole (th,acc) value
2034 val acc = (initialNormalization, Normalize.initialCnf) value
2035 val acc = List.foldl addCnfAxiom acc cnfAxioms value
2036 val acc = List.foldl addFofAxiom acc fofAxioms value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Socket.sml | 361 fun acc sock = doCall (58, RunCall.unsafeCast sock) function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Rule.sml | 709 val (acc,apart) = value
[all...] |
| H A D | Term.sml | 163 val acc = (List.rev path, tm) :: acc value
304 val acc = (List.rev path, tm) :: acc value
315 val acc = (List.rev path, tm) :: acc value
[all...] |
| H A D | Model.sml | 608 val acc = if Word.andb (s,0w1) = 0w0 then acc else acc + 1 value
797 val acc = f (V,acc) value
1187 val acc = value
1209 val acc = if pred i then i :: acc else acc value
1225 val acc = pertTerm M target tm acc value
1242 val acc = value
[all...] |
| H A D | Normalize.sml | 960 val acc value
[all...] |
| H A D | Print.sml | 509 val acc = if p = p' then add t a acc else new t a acc value
519 val acc = new t a [] value
521 val (acc,_) = List.foldl layer (acc,p) ios value
[all...] |
| H A D | Useful.sml | 270 val acc = if List.null row then acc else List.rev row :: acc value
791 val acc = {filename = filename} :: acc value
[all...] |
| H A D | Tptp.sml | 1976 val acc = addFof NegatedConjectureRole (th,acc) value
2034 val acc = (initialNormalization, Normalize.initialCnf) value
2035 val acc = List.foldl addCnfAxiom acc cnfAxioms value
2036 val acc = List.foldl addFofAxiom acc fofAxioms value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Useful.sml | 425 val (acc,seen) = foldl (f stack) (acc,seen) (parents x) value
426 val acc = x :: acc value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/ |
| H A D | helperLib.sml | 119 val acc = if p tm then acc @ [tm] else acc value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/ |
| H A D | arm8.sml | 1675 val acc = X 32 n value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/model/ |
| H A D | x64.sml | 2482 val acc = EA ea_src value
|
| /seL4-l4v-10.1.1/HOL4/src/quantHeuristics/ |
| H A D | quantHeuristicsLibBase.sml | |