---

well-founded-run-lt-witness() ==  <e.let x,_ = e in x, _,_,_.>

---

Definitions :  pair: <a, b>,  spread: spread def,  lambda: x.A[x],  it:
FDL editor aliases :  well-founded-run-lt-witness

---

well-founded-run-lt-witness()  ==    <\mlambda{}e.let  x,$_{}$  =  e  in  x,  \mlambda{}$_{\mbackslash{}ff7\000C
d$,$_{}$,$_{}$.\mcdot{}>


Date html generated: 2010_08_27-PM-06_41_28
Last ObjectModification: 2010_04_29-PM-10_45_59

Home Index