lifting-loc-2(f) == 
l,a,b.lifting2-loc(f;l;a;b)
Definitions occuring in Statement :
lifting2-loc: lifting2-loc(f;loc;abag;bbag),
lambda: x.A[x]
Definitions :
lambda: x.A[x],
lifting2-loc: lifting2-loc(f;loc;abag;bbag)
FDL editor aliases :
lifting-loc-2
lifting-loc-2(f) == \mlambda{}l,a,b.lifting2-loc(f;l;a;b)
Date html generated:
2011_08_17-PM-06_06_44
Last ObjectModification:
2011_06_02-PM-04_16_25
Home
Index