| Commit message (Expand) | Author | Age |
|---|
| * | Fix bugs that were reopened due to the change of setoid |  msozeau | 2008-03-08 |
| * | Plug the new setoid implemtation in, leaving the original one commented | msozeau | 2008-03-06 |
| * | one forgotten compatibility lemma |  letouzey | 2008-02-08 |
| * | Adding Zdiv_le_compat_l |  thery | 2008-01-22 |
| * | A result about Zsgn(a/b), both for Zdiv and ZOdiv | letouzey | 2007-11-10 |
| * | First reasonably complete version of ZOdiv, including some properties | letouzey | 2007-11-10 |
| * | setoid_ring/Ring_zdiv is moved to ZArith and renamed to ZOdiv_def. | letouzey | 2007-11-08 |
| * | small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is | letouzey | 2007-11-06 |
| * | Integration of theories/Ints/Z/* in ZArith and large cleanup and extension of... | letouzey | 2007-11-06 |
| * | Adding Qround.v (and helper lemmas and hints) |  roconnor | 2007-11-01 |
| * | Adding Zdiv_mod_unique, Zdiv_opp_opp, Zdiv_mult_cancel, and Z_div_le | roconnor | 2007-10-19 |
| * | normalisation (by closure) was not performed under fixpoints |  barras | 2007-07-12 |
| * | Mise en forme des theories |  notin | 2006-10-17 |
| * | commit de field + renommages | barras | 2006-09-26 |
| * | mise a jour du nouveau ring et ajout du nouveau field, avant renommages | barras | 2006-09-26 |
| * | Changement dans les boxed values . |  gregoire | 2004-11-12 |
| * | Nouvelle en-tête |  herbelin | 2004-07-16 |
| * | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin | 2003-11-29 |
| * | Require | herbelin | 2003-11-13 |
| * | qq petit ajouts à Zdiv | letouzey | 2003-11-13 |
| * | Changement de la politique de V8only: V8only tout seul signifie | herbelin | 2003-09-21 |
| * | Zdiv plus efficace: r+r -> 2*r | letouzey | 2003-09-05 |
| * | Ajout Open Scope | herbelin | 2003-04-09 |
| * | Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import". | herbelin | 2003-04-09 |
| * | Pas d'associativité gauche au niveau 3 en vieille syntaxe ! | herbelin | 2003-03-28 |
| * | *** empty log message *** | barras | 2003-03-21 |
| * | *** empty log message *** | barras | 2003-03-12 |
| * | ZArith_base, Zbool, Bool_nat |  filliatr | 2002-06-20 |
| * | affaiblissement hyp de Zmult_reg_left | filliatr | 2002-06-05 |
| * | encore des lemmes sur Zdiv | filliatr | 2002-05-14 |
| * | nouveaux lemmes dans Zdiv (Claude Marche) | filliatr | 2002-05-14 |
| * | lemmes sur Zdiv/Zmod | filliatr | 2002-04-19 |
| * | un thm de plus dans Zdiv; un retour chariot apres un message de la tactique F... | filliatr | 2002-04-19 |
| * | Uniformisation (Qed/Save et Implicits Arguments) | herbelin | 2002-04-17 |
| * | Zdiv -> Export ZArith | filliatr | 2002-04-08 |
| * | syntaxe pour Zdiv et Zmod | filliatr | 2002-04-08 |
| * | simplification preuve | filliatr | 2002-04-05 |
| * | nouveau module Zdiv | filliatr | 2002-04-05 |
msozeau
letouzey
thery
roconnor
barras
notin
gregoire
herbelin
filliatr