---

esharplet(lhs;rsh;body) ==  inr inr inr inr inr <lhs, rsh, body>     

---

Definitions occuring in Statement :  pair: <a, b>,  inr: inr x 
Definitions :  inr: inr x ,  pair: <a, b>
FDL editor aliases :  esharplet

---

esharplet(lhs;rsh;body)  ==    inr  inr  inr  inr  inr  <lhs,  rsh,  body>         


Date html generated: 2011_08_17-PM-05_13_50
Last ObjectModification: 2011_02_03-PM-04_32_01

Home Index