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

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DUnicodeChars.sig29 val Xi : string value
H A DUnicodeChars.sml32 val Xi = U 0x039E value

Completed in 40 milliseconds