Nuprl Definition : rsc2_thr_out

rsc2_thr_out() ==  loc,x,z.{x}


Definitions occuring in Statement :  lambda: x.A[x],  single-bag: {x}
FDL editor aliases :  rsc2_thr_out
rsc2\_thr\_out()  ==    \mlambda{}loc,x,z.\{x\}


Date html generated: 2012_02_20-PM-04_41_59
Last ObjectModification: 2012_02_02-PM-02_05_34

Home Index