| Age | Commit message (Expand) | Author |
|---|
| 2020-10-08 | Modify Numbers/Integer/Abstract/ZDivFloor.v to compile with -mangle-names | Jasper Hugunin |
| 2020-03-18 | Update headers in the whole code base. | Théo Zimmermann |
| 2019-06-17 | Update ml-style headers to new year. | Théo Zimmermann |
| 2018-02-27 | Update headers following #6543. | Théo Zimmermann |
| 2017-07-26 | Merge PR #845: Add Z.mod_div lemma to standard library. | Maxime Dénès |
| 2017-07-04 | Bump year in headers. | Pierre-Marie Pédrot |
| 2017-06-29 | Add Z.mod_div lemma to standard library. | Russell O'Connor |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-12-07 | Fix some typos. | Guillaume Melquiond |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-07-05 | ZArith + other : favor the use of modern names instead of compat notations | letouzey |
| 2011-08-11 | SearchAbout and similar: add a customizable blacklist | letouzey |
| 2011-06-28 | Some cleanup of Zdiv and Zquot, deletion of useless Zdiv_def | letouzey |
| 2011-06-24 | Numbers: a particular case of div_unique | letouzey |
| 2011-03-10 | ZBits,ZdivEucl,ZDivFloor: a few lemmas with weaker preconditions | letouzey |
| 2010-12-06 | Numbers and bitwise functions. | letouzey |
| 2010-11-10 | Integer division: quot and rem (trunc convention) in addition to div and mod | letouzey |
| 2010-11-02 | Numbers: NZPowProp as a Module Type, some module variable renaming | letouzey |
| 2010-10-14 | Numbers: new functions pow, even, odd + many reorganisations | letouzey |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-01-29 | Division in numbers: kills some Include to avoid bad alias Zsucc = ZDiv.Z.Z'.S | letouzey |
| 2010-01-08 | Numbers: axiomatization + generic properties of abs and sgn. | letouzey |
| 2010-01-07 | Numbers: separation of funs, notations, axioms. Notations via module, without... | letouzey |
| 2010-01-06 | "by" becomes officially a reserved keyword of Coq (fixes "rewrite ... at ... ... | letouzey |
| 2010-01-05 | Numbers abstract layer: more Module Type, used especially for divisions. | letouzey |
| 2010-01-05 | Division in Numbers: proofs with less auto (less sensitive to hints, in parti... | letouzey |
| 2010-01-05 | Division in Numbers: factorisation of signatures | letouzey |
| 2010-01-04 | Specific syntax for Instances in Module Type: Declare Instance | letouzey |
| 2009-12-17 | Division in Numbers : more properties, new filenames based on a paper by R. B... | letouzey |
