---

a = b ==  eqof(KindDeq) a b

---

Definitions :  apply: f a,  eqof: eqof(d),  Kind-deq: KindDeq
FDL editor aliases :  eq_knd

---

a  =  b  ==    eqof(KindDeq)  a  b


Date html generated: 2010_08_26-PM-11_38_44
Last ObjectModification: 2008_02_27-PM-09_33_05

Home Index