Vote' ==  (let a,b,ok = x in <<a, b>, okwhere x from x1)



Definitions :  pair: <a, b> spreadn: spread3

Vote'  ==    (let  a,b,ok  =  x  in  <<a,  b>,  ok>  where  x  from  x1)


Date html generated: 2010_08_30-AM-12_51_09
Last ObjectModification: 2010_08_16-PM-08_22_28

Home Index