---

NameDeq ==  list-deq(AtomDeq)

---

Definitions :  list-deq: list-deq(eq),  atom-deq: AtomDeq
FDL editor aliases :  name-deq

---

NameDeq  ==    list-deq(AtomDeq)


Date html generated: 2010_08_26-PM-11_29_52
Last ObjectModification: 2010_02_15-PM-11_10_05

Home Index