| /seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/ |
| H A D | BuildCommand.sml | |
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | HM_GraphBuildJ1.sml | |
| /seL4-l4v-10.1.1/HOL4/src/pred_set/src/ |
| H A D | set_relationScript.sml | 10 val ns = ["Relation"] value
|
| H A D | pred_setScript.sml | 77 val ns = ["Set"] value
|
| /seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/ |
| H A D | Logging.sml | 636 val (ns,n) = n value
|
| /seL4-l4v-10.1.1/HOL4/src/num/theories/ |
| H A D | whileScript.sml | 13 val ns = ["While"] value
|
| H A D | numScript.sml | 86 val ns = ["Number","Natural"] value
|
| H A D | arithmeticScript.sml | 19 val ns = ["Number", "Natural"] value
|
| /seL4-l4v-10.1.1/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
|
| /seL4-l4v-10.1.1/HOL4/src/n-bit/ |
| H A D | bitstringLib.sml | 349 val ns = List.tabulate (i, mk_n) value
|
| /seL4-l4v-10.1.1/HOL4/src/meson/src/ |
| H A D | Canon_Port.sml | 88 let val ns = mapfilter value
|
| /seL4-l4v-10.1.1/HOL4/src/list/src/ |
| H A D | listScript.sml | 87 val ns = ["Data","List"] value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/datatype/ |
| H A D | ind_typeScript.sml | 407 val ns = ["HOL4","Datatype"] value
|
| /seL4-l4v-10.1.1/HOL4/src/coretypes/ |
| H A D | sumScript.sml | 467 val ns = ["Data","Sum"] value
|
| H A D | pairScript.sml | 53 val ns = ["Data","Pair"] value
|
| H A D | optionScript.sml | 44 val ns = ["Data","Option"] value
|
| H A D | oneScript.sml | 29 val ns = ["Data","Unit"] value
|
| /seL4-l4v-10.1.1/HOL4/src/bag/ |
| H A D | bagSimpleLib.sml | |
| /seL4-l4v-10.1.1/HOL4/src/0/ |
| H A D | Term.sml | 1026 let val (ns, ss1) = Substring.splitl numeric ss0 value
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_symbolsScript.sml | 359 val ns = map (map (Arbnum.toInt o Arbnum.fromHexString)) (map split code) value
|
| /seL4-l4v-10.1.1/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-10.1.1/HOL4/examples/l3-machine-code/common/ |
| H A D | utilsLib.sml | 719 val ns = List.map (fst o Term.dest_var) v2 value
|
| /seL4-l4v-10.1.1/HOL4/examples/hardware/port-full/tamarack2/ |
| H A D | tamarackScript.sml | 678 val ns = Lib.for 0 (n-1) mk_tm value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | functionEncodeLib.sml | 1345 let val ns = explode ("Failure: " ^ int_to_string n) value
|
| /seL4-l4v-10.1.1/HOL4/examples/HolCheck/examples/ |
| H A D | amba_common.sml | 30 val ns = 16; (* 1..16 *) value
|