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

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DUnicodeChars.sig31 val Pi : string value
H A DUnicodeChars.sml33 val Pi = U 0x03A0 value

Completed in 34 milliseconds