Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Simplification of Numbers, mainly thanks to Include | 2009-11-10 | |
* | Numbers: finish files NStrongRec and NDefOps | 2009-11-06 | |
* | ROrderedType + Rminmax : Coq's Reals can be seen as OrderedType. | 2009-11-03 | |
* | OrderedType implementation for various numerical datatypes + min/max structures | 2009-11-03 | |
* | FSetCompat: a compatibility wrapper between FSets and MSets | 2009-10-20 | |
* | Merge SetoidList2 into SetoidList. | 2009-10-19 | |
* | Structure/OrderTac.v : highlight the "order" tactic by isolating it from FSet... | 2009-10-16 | |
* | MSets: a new generation of FSets | 2009-10-13 | |
* | Remove useless MonoList.v | 2009-09-17 | |
* | Ocamlbuild: improvements suggested by N. Pouillard | 2009-04-03 |