| Commit message (Expand) | Author | Age |
|---|
| * | Update copyright headers. |  Maxime Dénès | 2016-01-20 |
| * | Update headers. | Maxime Dénès | 2015-01-12 |
| * | Updating headers. |  herbelin | 2012-08-08 |
| * | Some more cleanups (Zeven, auxiliary, Zbool, Zmisc, ZArith_base) |  letouzey | 2011-06-27 |
| * | Definitions of positive, N, Z moved in Numbers/BinNums.v | letouzey | 2011-05-05 |
| * | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
| * | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
| * | Numbers: properties of min/max with respect to 0,S,P,add,sub,mul | letouzey | 2010-02-09 |
| * | ZBinary (impl of Numbers via Z) reworked, comes earlier, subsumes ZOrderedType | letouzey | 2010-02-09 |
| * | OrderedType implementation for various numerical datatypes + min/max structures | letouzey | 2009-11-03 |
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Nettoyage Zmin.v, création Zmax.v et Zminmax.v | herbelin | 2006-02-12 |
| * | Nouvelle en-tête | herbelin | 2004-07-16 |
| * | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin | 2003-11-29 |
| * | Inclusion de Zbool qui contient une partie de Zmisc dans ZArith_base | herbelin | 2003-11-14 |
| * | Restructuration ZArith | herbelin | 2003-11-12 |
| * | Restructuration ZArith et déport de la partie sur 'positive' dans NArith, de... | herbelin | 2003-11-05 |
| * | ZArith_base, Zbool, Bool_nat |  filliatr | 2002-06-20 |
Maxime Dénès
herbelin
letouzey
glondu
filliatr