aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/ZArith/ZArith_base.v
Commit message (Expand)AuthorAge
* Nettoyage Zmin.v, création Zmax.v et Zminmax.vGravatar herbelin2006-02-12
* Nouvelle en-têteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Inclusion de Zbool qui contient une partie de Zmisc dans ZArith_baseGravatar herbelin2003-11-14
* Restructuration ZArithGravatar herbelin2003-11-12
* Restructuration ZArith et déport de la partie sur 'positive' dans NArith, de...Gravatar herbelin2003-11-05
* ZArith_base, Zbool, Bool_natGravatar filliatr2002-06-20