       A finset and finmap DRAFT library
       ---------------------------------

AUTHOR
======
Cyril Cohen

RELATED WORK
==========

My library was developed independently but inspired from Pierre-Yves
Strub's library (https://github.com/strub/ssrmisc/blob/master/fset.v)
from Christian Doczkal's library
(https://www.ps.uni-saarland.de/formalizations/fset/html/libs.fset.html)
and from Beta Ziliani's work (no reference provided so far).

This library should ultimately be integrated to the mathematical
components library, when it is finished.

DOCUMENTATION
=============

The documentation is available in the header of the file.

LICENSING
=========

This program is free software; you can redistribute it and/or modify
it under the terms of the CeCILL B FREE SOFTWARE LICENSE.

You should have received a copy of the CeCILL B License with this
Kit, in the file named "CeCILL-B".
If not, visit http://www.cecill.info    
