Nuprl Definition : isl

isl(x) ==  case of inl(y) => tt inr(z) => ff



Definitions occuring in Statement :  bfalse: ff btrue: tt decide: case of inl(x) => s[x] inr(y) => t[y]
Definitions occuring in definition :  decide: case of inl(x) => s[x] inr(y) => t[y] btrue: tt bfalse: ff
FDL editor aliases :  isl

Latex:
isl(x)  ==    case  x  of  inl(y)  =>  tt  |  inr(z)  =>  ff



Date html generated: 2016_05_13-PM-03_20_12
Last ObjectModification: 2016_01_04-AM-10_27_16

Theory : union


Home Index