coq - the Coq proof assistant

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