Searched defs:acm (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ | ||
H A D | cearTools.sml | 713 then let val acm = mk_abs_cons_thm mf (apl,ks_def,wfKS_ks) env aenv hd_def iaf vm value |
Completed in 104 milliseconds