---

pDVguards(from;preList) ==  inr inr (inl <from, preList> )  

---

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

---

pDVguards(from;preList)  ==    inr  inr  (inl  <from,  preList>  )   


Date html generated: 2010_08_27-PM-08_42_36
Last ObjectModification: 2010_04_23-AM-11_30_00

Home Index