---

CONSIDERING[v] ==  inr (inl v ) 

---

Definitions :  inr: inr x ,  inl: inl x 
FDL editor aliases :  cs-considering

---

CONSIDERING[v]  ==    inr  (inl  v  ) 


Date html generated: 2010_08_27-AM-12_27_20
Last ObjectModification: 2009_12_23-PM-03_22_07

Home Index