A library for finite sets, implemented as lists
This is a light implementation of finite sets as lists; for a more
extensive library, you might rather consider MSetWeakList.v. In
addition, if your domain is totally ordered, you might also
consider implementations of finite sets with access in logarithmic
time (e.g. MSetRBT.v which is based on red-black trees).