Nuprl Definition : norep2_Store
norep2_Store(ldr) == norep2_ok(ldr)@Loc|Loc,norep2_handle'base(), Prior(norep2_StoreState())?
i.{[]}|
Definitions occuring in Statement :
norep2_ok: norep2_ok(ldr),
norep2_StoreState: norep2_StoreState(),
norep2_handle'base: norep2_handle'base(),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
primed-class-opt: Prior(X)?b,
lambda: x.A[x],
nil: [],
single-bag: {x}
FDL editor aliases :
norep2_Store
norep2\_Store(ldr) ==
norep2\_ok(ldr)@Loc|Loc,norep2\_handle'base(), Prior(norep2\_StoreState())?\mlambda{}i.\{[]\}|
Date html generated:
2012_02_20-PM-03_36_58
Last ObjectModification:
2012_02_02-PM-01_56_55
Home
Index