{ mlt_simple_consensus_init() 
List }
{ Proof }
Definitions occuring in Statement :
mlt_simple_consensus_init: mlt_simple_consensus_init(),
nat: ,
member: t T,
product: x:A B[x],
list: type List,
int:
Definitions :
mlt_simple_consensus_init: mlt_simple_consensus_init(),
pair: <a, b>,
nil: [],
list: type List,
real: 
,
subtype: S 
T,
rationals: 
,
strong-subtype: strong-subtype(A;B),
subtype_rel: A r B,
p-outcome: Outcome,
nat: ,
set: {x:A| B[x]} ,
not: 
A,
false: False,
implies: P 
Q,
void: Void,
less_than: a < b,
int: ,
all: 
x:A. B[x],
function: x:A 
B[x],
prop: 
,
universe: Type,
le: A 
B,
equal: s = t,
natural_number: $n,
member: t T
Lemmas :
le_wf,
member_wf,
nat_wf
mlt\_simple\_consensus\_init() \mmember{} \mBbbN{} \mtimes{} \mBbbZ{} List \mtimes{} \mBbbN{}
Date html generated:
2010_08_27-PM-08_31_17
Last ObjectModification:
2010_06_24-AM-12_00_10
Home
Index