---

mk-combdef(c) ==  inr (inl c ) 

---

Definitions :  inr: inr x ,  inl: inl x 
FDL editor aliases :  mk-combdef

---

mk-combdef(c)  ==    inr  (inl  c  ) 


Date html generated: 2010_08_27-PM-08_24_22
Last ObjectModification: 2010_06_24-AM-12_46_47

Home Index