Nuprl Definition : classChosen
classChosen() == BaseClass(``paxos chosen``;
)
Proof not projected
Definitions occuring in Statement :
baseclass: BaseClass(h;T),
cons: [car / cdr],
nil: [],
int: ,
token: "$token"
Definitions :
baseclass: BaseClass(h;T),
cons: [car / cdr],
token: "$token",
nil: [],
int:
FDL editor aliases :
classChosen
classChosen() == BaseClass(``paxos chosen``;\mBbbZ{})
Date html generated:
2011_10_20-PM-04_19_13
Last ObjectModification:
2011_01_29-AM-00_25_59
Home
Index