---

Ballot(s) ==  case snd(s) of inl(p) => fst(p) | inr(x) => -1

---

Definitions :  decide: case b of inl(x) => s[x] | inr(y) => t[y],  pi2: snd(t),  pi1: fst(t),  minus: -n,  natural_number: $n
FDL editor aliases :  pax-ballot

---

Ballot(s)  ==    case  snd(s)  of  inl(p)  =>  fst(p)  |  inr(x)  =>  -1


Date html generated: 2010_08_28-AM-11_52_27
Last ObjectModification: 2010_04_16-AM-01_00_52

Home Index