coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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