Nuprl Definition : pv8_p2_greater_proposal
pv8_p2_greater_proposal(Cid;Op;eq_Cid) ==
zd.let slt1,cmd1 = zd
in z.let slt2,cmd2 = z
in slt2 <z slt1 
(pv8_p2_same_command(Cid;Op;eq_Cid) cmd1 cmd2)
Definitions occuring in Statement :
pv8_p2_same_command: pv8_p2_same_command(Cid;Op;eq_Cid),
band: p q,
lt_int: i <z j,
apply: f a,
lambda: x.A[x],
spread: spread def
FDL editor aliases :
pv8_p2_greater_proposal
pv8\_p2\_greater\_proposal(Cid;Op;eq$_{Cid}$) ==
\mlambda{}zd.let slt1,cmd1 = zd
in \mlambda{}z.let slt2,cmd2 = z
in slt2 <z slt1 \mwedge{}\msubb{} (pv8\_p2\_same\_command(Cid;Op;eq$_{Cid}$) cmd1 cmd2\000C)
Date html generated:
2012_02_20-PM-07_35_43
Last ObjectModification:
2012_02_06-PM-03_04_02
Home
Index