---

PREDECIDED[v] ==  inr (inl v ) 

---

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

---

PREDECIDED[v]  ==    inr  (inl  v  ) 


Date html generated: 2010_08_27-AM-12_26_49
Last ObjectModification: 2009_12_23-PM-03_20_56

Home Index