Nuprl Definition : ohc_v2_init

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


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


Date html generated: 2012_02_20-PM-05_32_38
Last ObjectModification: 2012_02_17-PM-10_21_15

Home Index