Searched defs:st1 (Results 1 - 3 of 3) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DcearTools.sml203 val st1 = list_mk_pair lst1 value
319 val st1 = list_mk_pair lst1 (*the s1 in IS_ABS_FUN_ap*) value
440 val (st1,st2,ath_lem1,ath_lem2,afap) = mk_abs_fun_ap_thm state astate hR_defs_ unwind_thm (apl,ks_def,wfKS_ks) hd_def value
[all...]
H A DksTools.sml
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dparse_glob.sml41 fun (st1 ++ st2) s = function
77 fun (st1 >> st2) = st1 >- (fn _ => st2) function

Completed in 112 milliseconds