aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cSet.ml
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* A patch renaming equal into eq in the module dealing withGravatar Hugo Herbelin2016-03-22
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Reverting 16 last commits, committed mistakenly using the wrong push command.Gravatar Hugo Herbelin2015-08-02
* A patch renaming equal into eq in the module dealing withGravatar Hugo Herbelin2015-08-02
* Update headers.Gravatar Maxime Dénès2015-01-12
* Adding a CSet module in Coq lib.Gravatar Pierre-Marie Pédrot2014-03-05