The Coq mailing list

["David de Villiers" <davidc1 AT ananzi.co.za>]

Hi,
I am a newcomer to Coq and would like to know how to define
sets of the form 
X={1,2,3}.
Thanks,
D.

Sign up for Ananzi Mail Plus and you receive a larger mailbox, POP3 access, 
RPOP and much more. So sign up now, from just R 8,29 per month.

http://www.swiftsms.co.za/swiftT/track.asp?e=*em*&cid=113&u=8&tid=1138 ;