Nuprl Definition : norep2_OkFor
norep2_OkFor() == 
n.norep2_okfor() n@|Loc, norep2_ok'base()|
Definitions occuring in Statement :
norep2_okfor: norep2_okfor(),
norep2_ok'base: norep2_ok'base(),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
norep2_OkFor
norep2\_OkFor() == \mlambda{}n.norep2\_okfor() n@|Loc, norep2\_ok'base()|
Date html generated:
2012_02_20-PM-03_37_10
Last ObjectModification:
2012_02_02-PM-01_56_58
Home
Index