---

signed(e) ==  fst(Sign(e))

---

Definitions :  pi1: fst(t),  eclass-val: X(e),  ses-sign: Sign
FDL editor aliases :  ses-signed

---

signed(e)  ==    fst(Sign(e))


Date html generated: 2010_08_28-AM-01_50_33
Last ObjectModification: 2010_02_22-PM-12_12_45

Home Index