Nuprl Definition : PaxosOp

PaxosOp() ==  Atom


Proof not projected



Definitions occuring in Statement :  atom: Atom
Definitions :  atom: Atom
FDL editor aliases :  PaxosOp
PaxosOp()  ==    Atom


Date html generated: 2011_10_20-PM-05_00_32
Last ObjectModification: 2011_05_10-PM-01_21_00

Home Index