index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
theories
/
PArith
Commit message (
Expand
)
Author
Age
*
Modularization of BinNat + fixes of stdlib
letouzey
2011-05-05
*
Modularization of Pnat
letouzey
2011-05-05
*
Modularization of BinPos + fixes in Stdlib
letouzey
2011-05-05
*
Definitions of positive, N, Z moved in Numbers/BinNums.v
letouzey
2011-05-05
*
Fixed a bug of destruct which was sometimes forgetting local definitions behi...
herbelin
2011-04-24
*
CompareSpec: a slight generalization/reformulation of CompSpec
letouzey
2011-03-17
*
Remove the "Boxed" syntaxes and the const_entry_boxed field
letouzey
2011-01-28
*
First release of Vector library.
pboutill
2010-12-10
*
In passing, very quick uniformization of coqdoc headers in a few files.
herbelin
2010-12-09
*
Numbers and bitwise functions.
letouzey
2010-12-06
*
Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits
letouzey
2010-11-18
*
Numbers: axiomatization, properties and implementations of gcd
letouzey
2010-11-05
*
Add small utility lemmas about nat/P/Z/Q arithmetic.
letouzey
2010-11-02
*
Move stuff about positive into a distinct PArith subdir
letouzey
2010-11-02