Searched defs:Omega (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/integer/
H A DOmega.sig1 signature Omega = signature
H A DOmega.sml1 structure Omega :> Omega = structure
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DUnicodeChars.sig34 val Omega : string value
H A DUnicodeChars.sml37 val Omega = U 0x03A9 value

Completed in 38 milliseconds