---

pDVselex(rndv1) ==  inr inr inr inr inr inr (inl rndv1 )      

---

Definitions :  inr: inr x ,  inl: inl x 
FDL editor aliases :  pDVselex

---

pDVselex(rndv1)  ==    inr  inr  inr  inr  inr  inr  (inl  rndv1  )           


Date html generated: 2010_08_27-PM-08_42_48
Last ObjectModification: 2010_04_23-AM-11_30_55

Home Index