inning(r) =
i == rcv-vote?(r) 
let a,j,v = rcvd-vote(r) in (i = j)
Definitions :
band: p q,
rcv-vote?: rcv-vote?(x),
spreadn: spread3,
rcvd-vote: rcvd-vote(x),
eq_int: (i = j)
FDL editor aliases :
rcvd-inning-eq
inning(r) =\msubz{} i == rcv-vote?(r) \mwedge{}\msubb{} let a,j,v = rcvd-vote(r) in (i =\msubz{} j)
Date html generated:
2010_08_27-AM-12_56_43
Last ObjectModification:
2009_12_23-PM-03_32_03
Home
Index