---

Archive(v) ==  inr (inl v ) 

---

Definitions :  inr: inr x ,  inl: inl x 
FDL editor aliases :  archive-event

---

Archive(v)  ==    inr  (inl  v  ) 


Date html generated: 2010_08_27-AM-12_55_02
Last ObjectModification: 2009_12_23-PM-03_29_37

Home Index