Nuprl Definition : Paxos-spec8-spec717
abbreviation(x1;x2) ==  (inl bv where bv from MaxAccept)
Definitions occuring in Statement : 
abbreviation: MaxAccept
, 
inl: inl x
Latex:
abbreviation(x1;x2)  ==    (inl  bv  where  bv  from  MaxAccept)
Date html generated:
2016_05_16-AM-10_53_17
Last ObjectModification:
2012_02_25-AM-10_52_09
Theory : event-ordering
Home
Index