coq - The formal proof system

Age	Commit message (Expand)	Author
2011-05-05	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-04-24	Fixed a bug of destruct which was sometimes forgetting local definitions behi...	herbelin
2011-03-17	CompareSpec: a slight generalization/reformulation of CompSpec	letouzey
2011-01-28	Remove the "Boxed" syntaxes and the const_entry_boxed field	letouzey
2010-12-10	First release of Vector library.	pboutill
2010-12-09	In passing, very quick uniformization of coqdoc headers in a few files.	herbelin
2010-12-06	Numbers and bitwise functions.	letouzey
2010-11-18	Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits	letouzey
2010-11-05	Numbers: axiomatization, properties and implementations of gcd	letouzey
2010-11-02	Add small utility lemmas about nat/P/Z/Q arithmetic.	letouzey
2010-11-02	Move stuff about positive into a distinct PArith subdir	letouzey