---

st_list(kind) ==  inr inr inr inr inr (inl kind )     

---

Definitions occuring in Statement :  inr: inr x ,  inl: inl x 
Definitions :  inr: inr x ,  inl: inl x 
FDL editor aliases :  st_list

---

st\_list(kind)  ==    inr  inr  inr  inr  inr  (inl  kind  )         


Date html generated: 2011_08_17-PM-04_41_20
Last ObjectModification: 2011_02_06-PM-04_01_45

Home Index