Nuprl Definition : on-loc-class

on-loc-class(X) ==  es,e.(X loc(e) es e)


Proof not projected



Definitions occuring in Statement :  es-loc: loc(e),  apply: f a,  lambda: x.A[x]
FDL editor aliases :  on-loc-class
on-loc-class(X)  ==    \mlambda{}es,e.(X  loc(e)  es  e)


Date html generated: 2011_10_20-PM-03_22_33
Last ObjectModification: 2011_08_17-PM-06_22_11

Home Index