Nuprl Lemma : PaxosOp_wf
PaxosOp() 
Type
Proof not projected
Definitions occuring in Statement :
PaxosOp: PaxosOp(),
member: t T,
universe: Type
Definitions :
atom: Atom,
member: t T,
equal: s = t,
PaxosOp: PaxosOp()
PaxosOp() \mmember{} Type
Date html generated:
2011_10_20-PM-05_00_42
Last ObjectModification:
2011_05_10-PM-01_22_21
Home
Index