---

Send ==  fst(snd(snd(s)))

---

Definitions :  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  ses-send

---

Send  ==    fst(snd(snd(s)))


Date html generated: 2010_08_28-AM-01_49_58
Last ObjectModification: 2010_02_22-PM-01_25_01

Home Index