Searched defs:st2 (Results 1 - 2 of 2) sorted by path

/seL4-l4v-master/HOL4/examples/HolCheck/
H A DcearTools.sml204 val st2 = list_mk_pair lst2 value
320 val st2 = list_mk_pair lst2 (*the s2 in IS_ABS_FUN_ap*) value
[all...]
H A DksTools.sml289 val st2 = List.foldl (fn (v,l) => if (Binaryset.member(sts,unprime v)) then l else (unprime v)::l) [] st1' value

Completed in 60 milliseconds