coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Adding Zdiv_mod_unique, Zdiv_opp_opp, Zdiv_mult_cancel, and Z_div_le	roconnor	2007-10-19
*	normalisation (by closure) was not performed under fixpoints	barras	2007-07-12
*	Mise en forme des theories	notin	2006-10-17
*	commit de field + renommages	barras	2006-09-26
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	Changement dans les boxed values .	gregoire	2004-11-12
*	Nouvelle en-tête	herbelin	2004-07-16
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Require	herbelin	2003-11-13
*	qq petit ajouts à Zdiv	letouzey	2003-11-13
*	Changement de la politique de V8only: V8only tout seul signifie	herbelin	2003-09-21
*	Zdiv plus efficace: r+r -> 2*r	letouzey	2003-09-05
*	Ajout Open Scope	herbelin	2003-04-09
*	Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import".	herbelin	2003-04-09
*	Pas d'associativité gauche au niveau 3 en vieille syntaxe !	herbelin	2003-03-28
*	* empty log message *	barras	2003-03-21
*	* empty log message *	barras	2003-03-12
*	ZArith_base, Zbool, Bool_nat	filliatr	2002-06-20
*	affaiblissement hyp de Zmult_reg_left	filliatr	2002-06-05
*	encore des lemmes sur Zdiv	filliatr	2002-05-14
*	nouveaux lemmes dans Zdiv (Claude Marche)	filliatr	2002-05-14
*	lemmes sur Zdiv/Zmod	filliatr	2002-04-19
*	un thm de plus dans Zdiv; un retour chariot apres un message de la tactique F...	filliatr	2002-04-19
*	Uniformisation (Qed/Save et Implicits Arguments)	herbelin	2002-04-17
*	Zdiv -> Export ZArith	filliatr	2002-04-08
*	syntaxe pour Zdiv et Zmod	filliatr	2002-04-08
*	simplification preuve	filliatr	2002-04-05
*	nouveau module Zdiv	filliatr	2002-04-05