---

ste_lambda(bound;type;body) ==  inr inr inr <bound, type, body>   

---

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

---

ste\_lambda(bound;type;body)  ==    inr  inr  inr  <bound,  type,  body>     


Date html generated: 2011_08_17-PM-05_02_45
Last ObjectModification: 2011_02_04-AM-11_55_49

Home Index