Nuprl Definition : ohc_v1_init

ohc_v1_init() ==  x,loc.{x}


Definitions occuring in Statement :  lambda: x.A[x],  single-bag: {x}
FDL editor aliases :  ohc_v1_init ohc_v1_init
ohc\_v1\_init()  ==    \mlambda{}x,loc.\{x\}


Date html generated: 2012_02_20-PM-05_20_52
Last ObjectModification: 2012_02_13-PM-12_55_01

Home Index