---

Comm-req_from(cSt) ==  fst(snd(snd(cSt)))

---

Definitions :  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  Comm-req_from

---

Comm-req\_from(cSt)  ==    fst(snd(snd(cSt)))


Date html generated: 2010_08_27-PM-08_46_42
Last ObjectModification: 2010_03_25-PM-04_40_35

Home Index