VoteState == (let a,r,bv = x in <<a, r>, bv> where x from x1)
Definitions :
pair: <a, b>,
spreadn: spread3
VoteState == (let a,r,bv = x in <<a, r>, bv> where x from x1)
Date html generated:
2010_08_30-AM-12_51_01
Last ObjectModification:
2010_08_16-PM-01_00_09
Home
Index