Vote == ((inl bv where bv from MaxAccept)'?inr 
) when x1
Definitions :
it: ,
inr: inr x ,
abbreviation: MaxAccept,
inl: inl x
Vote == ((inl bv where bv from MaxAccept)'?inr \mcdot{} ) when x1
Date html generated:
2010_08_30-AM-12_51_08
Last ObjectModification:
2010_08_16-PM-08_12_49
Home
Index