---

(new name. body) ==  inr inr inr inr inr <name, body>     

---

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

---

(new  name.  body)  ==    inr  inr  inr  inr  inr  <name,  body>         


Date html generated: 2010_08_27-PM-08_37_12
Last ObjectModification: 2010_02_11-PM-06_48_34

Home Index