Nuprl Definition : Paxos-spec8-spec717
abbreviation(x1;x2) == (inl bv where bv from MaxAccept)
Definitions occuring in Statement :
abbreviation: MaxAccept,
inl: inl x
abbreviation(x1;x2) == (inl bv where bv from MaxAccept)
Date html generated:
2015_07_17-AM-09_10_48
Last ObjectModification:
2012_02_25-AM-10_52_09
Home
Index