---

New ==  fst(snd(s))

---

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

---

New  ==    fst(snd(s))


Date html generated: 2010_08_28-AM-01_49_54
Last ObjectModification: 2010_02_22-PM-01_24_55

Home Index