---

g glues Ia f Ib ==  g glues Ia:e,e'.e loc e'  f Ib:e,e'.e loc e' 

---

Definitions :  Q-R-glues: g glues Ia:Qa f Ib:Rb,  lambda: x.A[x],  es-le: e loc e' 
FDL editor aliases :  glues

---

g  glues  Ia  {}{}f{}\mrightarrow{}  Ib  ==    g  glues  Ia:\mlambda{}e,e'.e  \mleq{}loc  e'    {}{}f{}\mrightarrow{}  Ib:\mlambda{}e,e'.e  \mleq{}loc  e' 


Date html generated: 2010_08_27-PM-03_21_25
Last ObjectModification: 2009_12_16-AM-08_56_34

Home Index