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

/seL4-l4v-master/HOL4/src/portableML/
H A DUnicodeChars.sig117 val iff : string value
H A DUnicodeChars.sml46 val iff = U 0x21D4 value
/seL4-l4v-master/HOL4/examples/theorem-prover/milawa-prover/
H A Dmilawa_logicScript.sml237 val iff = ``mApp (mPrimitiveFun logic_IF)`` value
[all...]

Completed in 87 milliseconds