---

name_eq(x;y) ==  NameDeq x y

---

Definitions :  apply: f a,  name-deq: NameDeq
FDL editor aliases :  name_eq

---

name\_eq(x;y)  ==    NameDeq  x  y


Date html generated: 2010_08_26-PM-11_29_55
Last ObjectModification: 2010_02_15-PM-11_11_33

Home Index