The Coq mailing list

[franck.barbier AT franckbarbier.com]

Hi,

I'm trying an implementation of the Object Constraint Language in Coq. I look
for simplified and/or canonical *usages* of FSet (or another more suitable Coq
component?). Didn't find much matter either in archives or on the Web. Thanks
about any provided examples. Cheers.

PS: please avoid theoretical considerations bout implementing set theory in
Coq!