Nuprl Definition : norep2_okfor
norep2_okfor() == 
n,loc,m.if IntDeq m n then {n} else {} fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
int-deq: IntDeq,
single-bag: {x},
empty-bag: {}
FDL editor aliases :
norep2_okfor
norep2\_okfor() == \mlambda{}n,loc,m.if IntDeq m n then \{n\} else \{\} fi
Date html generated:
2012_02_20-PM-03_37_05
Last ObjectModification:
2012_02_02-PM-01_56_57
Home
Index