sc-Votes(locs) ==
BaseDef(locs;``sc vote``;
;
tr.let a,b,c = tr in
0 
z a 
0 z b)
Definitions :
BaseDef: BaseDef(locs;hdr;typ;P),
cons: [car / cdr],
token: "$token",
nil: [],
product: x:A B[x],
int: ,
lambda: x.A[x],
spreadn: spread3,
band: p q,
le_int: i z j,
natural_number: $n
FDL editor aliases :
sc-Votes
sc-Votes(locs) == BaseDef(locs;``sc vote``;\mBbbZ{} \mtimes{} \mBbbZ{} \mtimes{} \mBbbZ{};\mlambda{}tr.let a,b,c = tr in 0 \mleq{}z a \mwedge{}\msubb{} 0 \mleq{}z b)
Date html generated:
2010_08_27-PM-08_31_30
Last ObjectModification:
2010_06_24-AM-12_16_48
Home
Index