---

cdvdelay(X;dummy) ==  inr inr (inl <X, dummy> )  

---

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

---

cdvdelay(X;dummy)  ==    inr  inr  (inl  <X,  dummy>  )   


Date html generated: 2010_08_27-PM-08_07_55
Last ObjectModification: 2010_06_18-PM-04_21_17

Home Index