simple-consensus-state() == 
List 
Definitions :
product: x:A B[x],
list: type List,
int: ,
nat:
FDL editor aliases :
simple-consensus-state
simple-consensus-state() == \mBbbZ{} List \mtimes{} \mBbbN{}
Date html generated:
2010_08_27-PM-08_24_31
Last ObjectModification:
2010_06_23-PM-11_52_24
Home
Index