Searched defs:list1 (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/HOL4/src/bool/ |
| H A D | selftest.sml | 12 val list1 = apropos_in tm find1 ; value
|
| /seL4-l4v-master/HOL4/examples/computability/lambda/ |
| H A D | brackabs.sml | 28 val list1 = [S_I, K_I, B_I, C_I, fake_eta, B_eta, I_I] value
|
| /seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
| H A D | acl2_packageScript.sml | 3245 val (list1,list2) = (split_after (length listl div 2) listl handle e => ([],[])) value
|
| /seL4-l4v-master/HOL4/examples/acl2/ml/ |
| H A D | acl2_packageScript.sml | 3245 val (list1,list2) = (split_after (length listl div 2) listl handle e => ([],[])) value
|
| H A D | functionEncodeLib.sml | 2158 val list1 = map (fn x => ((fst o strip_comb o rand o lhs o value
|
| /seL4-l4v-master/HOL4/src/rational/ |
| H A D | ratLib.sml | 267 val list1 = ListPair.zip (calc_asms,prove_list); value
|
| H A D | ratScript.sml | 765 val list1 = ListPair.zip (calc_asms,prove_list); value
|
Completed in 114 milliseconds