Searched defs:list2 (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/src/bool/
H A Dselftest.sml14 val list2 = find_in str apropos2 ; value
/seL4-l4v-master/HOL4/src/rational/
H A DratLib.sml269 val list2 = partition (fn x => isSome (snd x)) list1; value
H A DratScript.sml767 val list2 = partition (fn x => isSome (snd x)) list1; value

Completed in 56 milliseconds