The Coq mailing list

[Gerald Macinenti <gerald.macinenti AT idealx.com>]

I am searching for a contribution where someone defined an associative
array datatype
with usual operations (add, remove, find ...)
If someone knows  such a contribution or guidelines to implement this
datatype  in a good Coq style (such as which other types should be used
as building blocks),
please let me know :)

--
Gerald MACINENTI                                IDEALX S.A.S.
Développeur                                     15-17, av. Ségur
01.44.42.00.00                                  F-75007 Paris
                                                http://IDEALX.com/