Nuprl Definition : rcvd-vote

rcvd-vote(x) ==  outr(x)


Definitions occuring in Statement :  outr: outr(x)
FDL editor aliases :  rcvd-vote
Latex:
rcvd-vote(x)  ==    outr(x)


Date html generated: 2016_05_16-PM-00_33_48
Last ObjectModification: 2012_02_25-AM-11_48_58

Theory : event-ordering


Home Index