Searched defs:results (Results 1 - 15 of 15) sorted by last modified time
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/ |
| H A D | CODETREE_LAMBDA_LIFT.sml | 245 val results = value
463 val results = getItem(bindings, 0) value
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | holdeptool.sml | 20 val results = value
|
| H A D | Holdep.sml | 164 val results = processfile r value
|
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | BackchainingLib.sml | [all...] |
| /seL4-l4v-10.1.1/HOL4/src/quantHeuristics/ |
| H A D | quantHeuristicsLibBase.sml | 1246 val results = flatten (map (fn (s1, s2) => mapPartial (apply_inference s2) (s1 gc)) [ value
1632 val results = elim_preconds sys' v [] (map (fn y => (NONE, true, y)) current_thmL) value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Profile.sml | 84 fun results () = Listsort.sort (fn (i1, i2) => String.compare (#1 i1, #1 i2)) function
|
| H A D | Profile.sig | 14 val results : unit -> (string * call_info) list value
|
| H A D | Graph.sml | 349 val results = (xs, Table.empty) ||-> foldl' (fn x => fn tab => value
|
| /seL4-l4v-10.1.1/HOL4/examples/misc/ |
| H A D | wardScript.sml | 186 val results = map mapthis t_results0 value
|
| /seL4-l4v-10.1.1/HOL4/examples/miller/subtypes/ |
| H A D | subtypeTools.sml | 364 val results = map canon_result pre_results value
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/prog/ |
| H A D | m0_progLib.sml | 732 val results = List.map tst l value
|
| /seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/ |
| H A D | pegML.sml | 124 val results = [ value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | functionEncodeLib.sml | 2374 val (results,thms) = unzip (map2 (fn (n,c) => fn v => value
|
| H A D | encodeLib.sml | 744 val results = map (fn term => REPEATC (CHANGED_CONV (REWRITE_CONV maps THENC REWRITE_CONV encs THENC value
|
| /seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
| H A D | holCheck.sml | 29 val (results,ic) = value
|
Completed in 165 milliseconds