---

data(a) ==  tree_leaf(inr a )

---

Definitions :  tree_leaf: tree_leaf(x),  inr: inr x 
FDL editor aliases :  atom-sdata

---

data(a)  ==    tree\_leaf(inr  a  )


Date html generated: 2010_08_28-AM-01_47_56
Last ObjectModification: 2010_02_22-PM-01_22_06

Home Index