coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bigint: new functions of_int and to_int, 2nd arg of pow in int	letouzey	2012-08-02
*	Bigint: adds a missing -1 in hugo's last commit 15659	letouzey	2012-07-31
*	Bigint : better ensure canonicity of arrays of int blocks	letouzey	2012-07-30
*	Bigint: avoid dependency over Pp	letouzey	2012-07-30
*	Better fixing propagation of carry in sub_mult used for euclidian	herbelin	2012-07-29
*	Fixing unchecked overflow in sub_mult used for euclidian division over	herbelin	2012-07-21
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Some dead code removal + cleanups	letouzey	2009-04-08
*	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack	2007-05-11
*	Sur le conseil de X.Leroy: x=[\|\|] devient Array.length x=0	letouzey	2005-08-19
*	Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...	herbelin	2004-12-24