Nuprl Definition : rsc5_init
rsc5_init() == 
x,loc.{x}
Definitions occuring in Statement :
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
rsc5_init
rsc5\_init() == \mlambda{}x,loc.\{x\}
Date html generated:
2012_02_20-PM-05_04_55
Last ObjectModification:
2012_02_02-PM-02_17_47
Home
Index