---

same-thread(es;p;e;e') ==  final-iterate(p;e) = final-iterate(p;e')

---

Definitions :  equal: s = t,  es-E: E,  final-iterate: final-iterate(f;x)
FDL editor aliases :  same-thread

---

same-thread(es;p;e;e')  ==    final-iterate(p;e)  =  final-iterate(p;e')


Date html generated: 2010_08_27-AM-09_45_28
Last ObjectModification: 2009_12_17-PM-10_54_24

Home Index