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

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

Completed in 166 milliseconds