coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Omega: for non-arithmetical goals, try proving False from context (wish #2236)	letouzey	2011-09-16
*	Some more cleanup of Zorder	letouzey	2011-06-23
*	Clean-up of Zcompare and Zorder	letouzey	2011-06-20
*	Modularization of BinInt, related fixes in the stdlib	letouzey	2011-05-05
*	Numbers: misc improvements	letouzey	2010-11-02
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Fixing bug #2254 (inappropriate names of Zlt_gt_succ and Zlt_succ_gt)	herbelin	2010-03-28
*	Simplification of Numbers, mainly thanks to Include	letouzey	2009-11-10
*	Better visibility of the inductive CompSpec used to specify comparison functions	letouzey	2009-11-03
*	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
*	OrderedTypeEx.N_as_OT use Nlt, various minor improvements in N/ZArith	letouzey	2009-07-24
*	Integration of theories/Ints/Z/* in ZArith and large cleanup and extension of...	letouzey	2007-11-06
*	Bug nommage Zgt_trans_succ	herbelin	2006-12-12
*	simplif de la partie ML de ring/field	barras	2006-10-27
*	Mise en forme des theories	notin	2006-10-17
*	Lemme de passage de l'autre côté d'une égalité	herbelin	2005-05-02
*	Missing translating a 'O' into a '0' (again - cf bug #947); removed useless h...	herbelin	2005-03-29
*	Missing translating a 'O' into a '0'	herbelin	2005-03-24
*	Nouvelle en-tête	herbelin	2004-07-16
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Deplacement ZERO_le_inj dans Zorder	herbelin	2003-11-18
*	Ajout lemmes; independance vis a vis noms variables liees; restructuration	herbelin	2003-11-12
*	Ajout quelques lemmes; noms des variables liees	herbelin	2003-11-09
*	Des oublis	herbelin	2003-11-06
*	Restructuration ZArith et déport de la partie sur 'positive' dans NArith, de...	herbelin	2003-11-05