Nuprl Definition : replica-state
replica-state(RepState) == RepState 
Proposal() List (Proposal() List)
Proof not projected
Definitions occuring in Statement :
Proposal: Proposal(),
product: x:A B[x],
list: type List,
int:
Definitions :
int: ,
product: x:A B[x],
list: type List,
Proposal: Proposal()
FDL editor aliases :
replica-state
replica-state(RepState) == RepState \mtimes{} \mBbbZ{} \mtimes{} Proposal() List \mtimes{} (Proposal() List)
Date html generated:
2011_10_20-PM-11_52_04
Last ObjectModification:
2011_05_10-PM-02_00_50
Home
Index