Nuprl Definition : RSC_thr_out

RSC_thr_out() ==  ze,x,z.{x}


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


Date html generated: 2012_02_20-PM-03_39_46
Last ObjectModification: 2012_02_02-PM-01_58_14

Home Index