---

esharpop(name) ==  inr inr (inl name )  

---

Definitions occuring in Statement :  inr: inr x ,  inl: inl x 
Definitions :  inr: inr x ,  inl: inl x 
FDL editor aliases :  esharpop

---

esharpop(name)  ==    inr  inr  (inl  name  )   


Date html generated: 2011_08_17-PM-05_12_46
Last ObjectModification: 2011_02_03-PM-04_30_58

Home Index