---

eq_st(st1;st2) ==  st1 == st2

---

Definitions occuring in Statement :  eq_term: a == b
Definitions :  eq_term: a == b
FDL editor aliases :  eq_st

---

eq\_st(st1;st2)  ==    st1  ==  st2


Date html generated: 2011_08_17-PM-04_50_14
Last ObjectModification: 2011_02_04-AM-10_53_22

Home Index