---

a = b ==  eqof(IdLnkDeq) a b

---

Definitions :  apply: f a,  eqof: eqof(d),  idlnk-deq: IdLnkDeq
FDL editor aliases :  eq_lnk

---

a  =  b  ==    eqof(IdLnkDeq)  a  b


Date html generated: 2010_08_26-PM-11_35_15
Last ObjectModification: 2008_02_27-PM-09_32_00

Home Index