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

/seL4-l4v-master/HOL4/examples/CCS/
H A DCCSScript.sml489 val [PREFIX, SUM1, SUM2, PAR1, PAR2, PAR3, RESTR, RELABELING, REC] = value
/seL4-l4v-master/HOL4/src/list/src/
H A Drich_listScript.sml818 val PREFIX = Q.store_thm ("PREFIX", value
[all...]

Completed in 111 milliseconds