index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
ZArith
/
BinInt.v
Commit message (
Expand
)
Author
Age
*
Fix the stdlib doc compilation + switch all .v file to utf8
letouzey
2009-09-28
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
- Modification de la déf de minus et pred conformément aux remarques de
herbelin
2008-05-28
*
Cyclic31: migrate auxiliary lemmas to their legitimate files
letouzey
2008-05-27
*
- Changement du code de Zplus pour accomoder ring qui sinon prend une
herbelin
2008-05-11
*
Proposal of a nice notation for constructors xI and xO of type positive
letouzey
2008-02-10
*
setoid_ring/Ring_zdiv is moved to ZArith and renamed to ZOdiv_def.
letouzey
2007-11-08
*
In agreement with Laurent Thery, start migration of auxiliary results
letouzey
2007-11-01
*
Several simple new theorems in ZArith/BinInt.v and ZArith/Zbool.v
emakarov
2007-08-08
*
A generic preprocessing tactic zify for (r)omega
letouzey
2007-07-18
*
Mise en forme des theories
notin
2006-10-17
*
ajout de QArith dans les theories standards
letouzey
2006-05-31
*
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
*
Report de lemmes de Znumtheory dans Zabs ou BinInt
herbelin
2003-11-29
*
ajout Pnat (suite)
herbelin
2003-11-21
*
cosmetique
herbelin
2003-11-14
*
Restructuration ZArith
herbelin
2003-11-12