| /seL4-l4v-master/HOL4/examples/ARM/v4/ |
| H A D | arm_evalLib.sml | 758 val ns = tmr next (f, s) value
|
| /seL4-l4v-master/HOL4/examples/ARM/v4/mlton/ |
| H A D | evalML.sml | 535 val ns = armML.NEXT_ARM_MEM s value
|
| /seL4-l4v-master/HOL4/examples/HolCheck/examples/ |
| H A D | amba_ahb.sml | 33 val ns = 16; value
|
| H A D | amba_common.sml | 30 val ns = 16; (* 1..16 *) value
|
| /seL4-l4v-master/HOL4/examples/acl2/ml/ |
| H A D | functionEncodeLib.sml | 1345 let val ns = explode ("Failure: " ^ int_to_string n) value
|
| /seL4-l4v-master/HOL4/examples/hardware/port-full/tamarack2/ |
| H A D | tamarackScript.sml | 678 val ns = Lib.for 0 (n-1) mk_tm value
|
| /seL4-l4v-master/HOL4/examples/separationLogic/src/ |
| H A D | separationLogicLib.sml | 738 val ns = Int.toString (f n) value
783 val ns = Int.toString (n + 1) value
799 val ns = Int.toString (n - 1) value
|
| /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_symbolsScript.sml | 360 val ns = map (map (Arbnum.toInt o Arbnum.fromHexString)) (map split code) value
|
| /seL4-l4v-master/HOL4/src/bag/ |
| H A D | bagSimpleLib.sml | |
| /seL4-l4v-master/HOL4/src/coretypes/ |
| H A D | oneScript.sml | 31 val ns = ["Data","Unit"] value
|
| H A D | optionScript.sml | 44 val ns = ["Data","Option"] value
|
| H A D | pairScript.sml | 53 val ns = ["Data","Pair"] value
|
| H A D | sumScript.sml | 475 val ns = ["Data","Sum"] value
|
| /seL4-l4v-master/HOL4/src/datatype/ |
| H A D | ind_typeScript.sml | 410 val ns = ["HOL4","Datatype"] value
|
| /seL4-l4v-master/HOL4/src/meson/src/ |
| H A D | Canon_Port.sml | 92 let val ns = mapfilter value
|
| /seL4-l4v-master/HOL4/src/n-bit/ |
| H A D | bitstringLib.sml | 349 val ns = List.tabulate (i, mk_n) value
|
| /seL4-l4v-master/HOL4/src/num/theories/ |
| H A D | numScript.sml | 86 val ns = ["Number","Natural"] value
|
| H A D | whileScript.sml | 13 val ns = ["While"] value
|
| H A D | arithmeticScript.sml | 20 val ns = ["Number", "Natural"] value
|
| /seL4-l4v-master/HOL4/src/opentheory/postbool/ |
| H A D | Logging.sml | 636 val (ns,n) = n value
|
| /seL4-l4v-master/HOL4/examples/bootstrap/ |
| H A D | automation_lemmasScript.sml | 563 val ns = listSyntax.mk_list(if null nums then [] else butlast nums,���:num���) value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/common/ |
| H A D | utilsLib.sml | 717 val ns = List.map (fst o Term.dest_var) v2 value
|
| /seL4-l4v-master/HOL4/src/0/ |
| H A D | Term.sml | 1085 let val (ns, ss1) = Substring.splitl numeric ss0 value
|
| /seL4-l4v-master/HOL4/src/list/src/ |
| H A D | listScript.sml | 87 val ns = ["Data","List"] value
[all...] |
| /seL4-l4v-master/HOL4/src/new-datatype/ |
| H A D | Witness.sml | 145 val ns = mapfilter(fst o dest_const o rator o concl o valOf)ws value
|