[Agda] Set properties

[Carlos Camarao]

Hello.

I implemented SetProperties.agda, with sets represented by lists, that
proves set properties related to deletion, membership, union,
difference, taking of subsets, disjointness. I don't know if they can
be of any use to anybody, or what I could do with it. I'd pleased to
receive any comments. The module is available at

      http://www.dcc.ufmg.br/~camarao/agda/SetProperties.agda

All the best,

Carlos.