Nuprl Definition : cs-is-considering
cs-is-considering(x) ==  case x of inl(z) => ff | inr(z) => isl(z)
Definitions occuring in Statement : 
isl: isl(x)
, 
bfalse: ff
, 
decide: case b of inl(x) => s[x] | inr(y) => t[y]
FDL editor aliases : 
cs-is-considering
Latex:
cs-is-considering(x)  ==    case  x  of  inl(z)  =>  ff  |  inr(z)  =>  isl(z)
Date html generated:
2016_05_16-AM-11_50_22
Last ObjectModification:
2012_02_25-AM-11_40_54
Theory : event-ordering
Home
Index