aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/NArith/Nnat.v
Commit message (Expand)AuthorAge
* setoid_ring/Ring_zdiv is moved to ZArith and renamed to ZOdiv_def. Gravatar letouzey2007-11-08
* Changed the definition of Nminus in BinNat.v by removing comparison.Gravatar emakarov2007-09-20
* A generic preprocessing tactic zify for (r)omegaGravatar letouzey2007-07-18
* Extension of NArith: Nminus, Nmin, etcGravatar letouzey2007-06-07
* Changement dans ring et field, beaucoup de correction d'erreurs,Gravatar bgregoir2006-12-15
* Un gros coup de lifting pour IntMap: Gravatar letouzey2006-04-25