aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/NArith/Nnat.v
Commit message (Expand)AuthorAge
* Notation: a new annotation "compat 8.x" extending "only parsing"Gravatar letouzey2012-07-05
* Modularisation of Znat, a few name changed elsewhereGravatar letouzey2011-05-05
* Modularization of NnatGravatar letouzey2011-05-05
* Some more revision of {P,N,Z}Arith + bitwise ops in NdigitsGravatar letouzey2010-11-18
* Integer division: quot and rem (trunc convention) in addition to div and modGravatar letouzey2010-11-10
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Better comparison functions in OrderedTypeExGravatar letouzey2009-07-22
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 11:56:53 +0000