Searched defs:ENUMERATE (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/miller/formalize/
H A Dextra_pred_setScript.sml685 val ENUMERATE = store_thm value
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A Dpred_setScript.sml5903 val ENUMERATE = store_thm (* from util_prob *) value

Completed in 49 milliseconds