Nuprl Definition : rsc2_new_proposal
rsc2_new_proposal(Cmd) == 
zj.let n,c = zj in z.let max,missing = z in max <z n 
deq-member(IntDeq;n;missing)
Definitions occuring in Statement :
bor: p q,
lt_int: i <z j,
lambda: x.A[x],
spread: spread def,
deq-member: deq-member(eq;x;L),
int-deq: IntDeq
FDL editor aliases :
rsc2_new_proposal
rsc2\_new\_proposal(Cmd) ==
\mlambda{}zj.let n,c = zj
in \mlambda{}z.let max,missing = z
in max <z n \mvee{}\msubb{}deq-member(IntDeq;n;missing)
Date html generated:
2012_02_20-PM-04_44_06
Last ObjectModification:
2012_02_02-PM-02_06_37
Home
Index