aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/ZArith/Zcomplements.v
Commit message (Expand)AuthorAge
* Nouvelle en-têteGravatar herbelin2004-07-16
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Renoncement de la compatibilite des noms qualifies au profit de la compatibil...Gravatar herbelin2003-11-24
* CompatibiliteGravatar herbelin2003-11-22
* Bug implicit argumentsGravatar herbelin2003-11-14
* Restructuration ZArithGravatar herbelin2003-11-12
* Oubli d'un Set Implicit ArgumentsGravatar herbelin2003-11-07
* Restructuration ZArith et déport de la partie sur 'positive' dans NArith, de...Gravatar herbelin2003-11-05
* Documentation/StructurationGravatar herbelin2003-10-22
* Conflit de nom Pplus dans positive et dans polynomial (de ring)Gravatar herbelin2003-09-21
* Un peu d'aide pour le traducteurGravatar herbelin2003-08-10
* Arguments superflus pour Zlength_nilGravatar herbelin2003-06-18
* quelques adaptations de Zarith en vu de la nouvelle librarie FSetGravatar letouzey2003-06-13
* Ajout Open ScopeGravatar herbelin2003-04-09
* Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import".Gravatar herbelin2003-04-09
* *** empty log message ***Gravatar barras2003-03-12
* ZArith_base, Zbool, Bool_natGravatar filliatr2002-06-20
* affaiblissement hyp de Zmult_reg_leftGravatar filliatr2002-06-05
* encore des lemmes sur ZdivGravatar filliatr2002-05-14
* nouveaux lemmes dans Zdiv (Claude Marche)Gravatar filliatr2002-05-14
* Uniformisation (Qed/Save et Implicits Arguments)Gravatar herbelin2002-04-17
* nouveau module ZdivGravatar filliatr2002-04-05
* petits changements afin de profiter du nouveau Rewrite/inGravatar barras2002-03-05
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* Zdiv et Zmod dans ZcomplementsGravatar filliatr2002-01-25
* amadouage de coqwebGravatar letouzey2002-01-18
* ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...Gravatar letouzey2002-01-18