| Commit message (Expand) | Author | Age |
|---|
| * | Deletion of useless Zdigits_def |  letouzey | 2011-06-28 |
| * | Deletion of useless Zlog_def | letouzey | 2011-06-28 |
| * | Deletion of useless Zsqrt_def | letouzey | 2011-06-28 |
| * | Some cleanup of Zdiv and Zquot, deletion of useless Zdiv_def | letouzey | 2011-06-28 |
| * | Clean-up of Znumtheory, deletion of Zgcd_def | letouzey | 2011-06-24 |
| * | Numbers and bitwise functions. | letouzey | 2010-12-06 |
| * | Integer division: quot and rem (trunc convention) in addition to div and mod | letouzey | 2010-11-10 |
| * | Numbers: axiomatization, properties and implementations of gcd | letouzey | 2010-11-05 |
| * | Numbers : log2. Abstraction, properties and implementations. | letouzey | 2010-11-02 |
| * | Add sqrt in Numbers | letouzey | 2010-10-19 |
| * | 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 |
| * | Arith NArith et ZArith exportent ring + nettoyage dans Ring_polynom |  barras | 2006-10-05 |
| * | Zbool déjà dans ZArith_base | herbelin | 2004-08-03 |
| * | Nouvelle en-tête | herbelin | 2004-07-16 |
| * | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin | 2003-11-29 |
| * | ZArith_base, Zbool, Bool_nat |  filliatr | 2002-06-20 |
| * | option -dump-glob pour coqdoc | filliatr | 2002-02-14 |
| * | Creation du fichier Zhints.v repertoriant les thms de ZArith et definissant l... | herbelin | 2001-05-31 |
| * | remplace Zarith par ZArith |  mohring | 2001-04-19 |
letouzey
herbelin
barras
filliatr
mohring