Commit message (Expand) | Author | Age | |
---|---|---|---|
* | ZArith + other : favor the use of modern names instead of compat notations | 2012-07-05 | |
* | Merge subinstances branch by me and Tom Prince. | 2011-11-17 | |
* | ZBits,ZdivEucl,ZDivFloor: a few lemmas with weaker preconditions | 2011-03-10 | |
* | Numbers: simplier spec for testbit | 2011-01-20 | |
* | f_equiv : a clone of f_equal that handles setoid equivalences | 2011-01-04 | |
* | Numbers: some improvements in proofs | 2011-01-03 | |
* | Numbers and bitwise functions. | 2010-12-06 |