Nuprl Lemma : Command_wf
Command() 
Type
Proof not projected
Definitions occuring in Statement :
Command: Command(),
member: t T,
universe: Type
Definitions :
equal: s = t,
member: t T,
function: x:A 
B[x],
all: 
x:A. B[x],
PaxosOp: PaxosOp(),
Cid: Cid(),
product: x:A 
B[x],
Id: Id,
Command: Command()
Lemmas :
Id_wf,
Cid_wf,
PaxosOp_wf
Command() \mmember{} Type
Date html generated:
2011_10_20-PM-05_01_07
Last ObjectModification:
2011_05_10-PM-01_24_58
Home
Index