---

kindname(i;k) ==  inl <i, k> 

---

Definitions :  inl: inl x ,  pair: <a, b>
FDL editor aliases :  kindname

---

kindname(i;k)  ==    inl  <i,  k> 


Date html generated: 2010_08_26-PM-11_42_37
Last ObjectModification: 2008_02_27-PM-09_35_23

Home Index