---

cs-is-considering(x) ==  case x of inl(z) => ff | inr(z) => isl(z)

---

Definitions :  decide: case b of inl(x) => s[x] | inr(y) => t[y],  bfalse: ff,  isl: isl(x)
FDL editor aliases :  cs-is-considering

---

cs-is-considering(x)  ==    case  x  of  inl(z)  =>  ff  |  inr(z)  =>  isl(z)


Date html generated: 2010_08_27-AM-12_27_46
Last ObjectModification: 2009_12_23-PM-03_22_37

Home Index