Nuprl Definition : rsc2_round_increase
rsc2_round_increase(Cmd) == 
n,z.let z,c = z in let m,i = z in round.((IntDeq n m) 
round <z i)
Definitions occuring in Statement :
band: p q,
lt_int: i <z j,
apply: f a,
lambda: x.A[x],
spread: spread def,
int-deq: IntDeq
FDL editor aliases :
rsc2_round_increase
rsc2\_round\_increase(Cmd) == \mlambda{}n,z.let z,c = z in let m,i = z in \mlambda{}round.((IntDeq n m) \mwedge{}\msubb{} round <z i)
Date html generated:
2012_02_20-PM-04_42_54
Last ObjectModification:
2012_02_02-PM-02_06_02
Home
Index