Commit message (Expand) | Author | Age | |
---|---|---|---|
* | MSetRBT: unfortunate typo in compare_height (fix #3413) | 2014-07-10 | |
* | Arith: full integration of the "Numbers" modular framework | 2014-07-09 | |
* | Avoid using a deprecated lemma in the standard library. | 2014-06-26 | |
* | - Fix bug preventing apply from unfolding Fixpoints. | 2014-05-06 | |
* | This commit adds full universe polymorphism and fast projections to Coq. | 2014-05-06 | |
* | "Boolean Equality" and "Case Analysis" are already off by default... | 2013-07-17 | |
* | Change Hint Resolve, Immediate to take a global reference as argument | 2012-10-26 | |
* | MSetRBT: a tail-recursive plength | 2012-08-06 | |
* | MSetRBT : elementary arith proofs instead of calls to lia | 2012-07-05 | |
* | ZArith + other : favor the use of modern names instead of compat notations | 2012-07-05 | |
* | MSetRBT : implementation of MSets via Red-Black trees | 2012-04-13 |