---

locl(a) ==  inr a 

---

Definitions :  inr: inr x 
FDL editor aliases :  locl

---

locl(a)  ==    inr  a 


Date html generated: 2010_08_26-PM-11_32_52
Last ObjectModification: 2008_02_27-PM-09_22_52

Home Index