coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour	herbelin	2002-10-23
*	Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...	herbelin	2002-10-22
*	MAJ pour NewtonInt	desmettr	2002-10-14
*	Integrale de Newton	desmettr	2002-10-14
*	Mise en place d'ensembles de notations symboliques pour nat, Z et R	herbelin	2002-10-13
*	retour en arriere concernant la recherche d'occurence modulo expansion des le...	barras	2002-10-09
*	Preuve du lemme de Rolle	desmettr	2002-10-09
*	MAJ pour modification dans Rcomplet	desmettr	2002-10-09
*	Suppression d'un lemme redondant	desmettr	2002-10-09
*	Proof of Heine's theorem	desmettr	2002-10-09
*	* empty log message *	desmettr	2002-10-07
*	Quelques resultats complementaires	desmettr	2002-10-07
*	Affaiblissement des hypotheses dans TAF_gen	desmettr	2002-10-07
*	Ajout du lemme derivable_pt_lim_power	desmettr	2002-10-04
*	Preuve de Bolzano-Weierstrass	desmettr	2002-10-04
*	* empty log message *	desmettr	2002-10-02
*	Fonctions Ln et puissance	desmettr	2002-10-02
*	suppression de l'axiome eqDom	desmettr	2002-09-26
*	preuve d'un axiome restant via Rtopology	desmettr	2002-09-25
*	MAJ pour Rtopology	desmettr	2002-09-25
*	Proprietes topologiques dans R	desmettr	2002-09-25
*	MAJ pour TAF	desmettr	2002-07-31
*	Theoreme des accroissements finis generalises et corollaires	desmettr	2002-07-31
*	MAJ pour Exp_prop	desmettr	2002-07-31
*	Proprietes de l'exponentielle	desmettr	2002-07-31
*	MAJ pour Rtrigo_reg	desmettr	2002-07-29
*	Regularite de sin et cos	desmettr	2002-07-29
*	Continuite des series de fonctions NC	desmettr	2002-07-29
*	Quelques ameliorations dans Reg	desmettr	2002-07-22
*	Nvll preuves R_dist_tri et tech_limit	mayero	2002-07-19
*	Regularites de pow et des sommes finies / MAJ Reg	desmettr	2002-07-19
*	Resultats de regularite de Rabsolu / MAJ de Reg	desmettr	2002-07-19
*	Quelques ameliorations...	desmettr	2002-07-19
*	Correction d'un bug dans IsCont_pt	desmettr	2002-07-18
*	MAJ pour Sqrt_reg	desmettr	2002-07-18
*	Preuves de la continuite/derivabilite de sqrt sur R+/R+*	desmettr	2002-07-18
*	* empty log message *	desmettr	2002-07-16
*	* empty log message *	desmettr	2002-07-16
*	MAJ Rtrigo pour sqrt	desmettr	2002-07-16
*	* empty log message *	desmettr	2002-07-16
*	R_sqr ne contient plus de resultats sur sqrt -> R_sqrt	desmettr	2002-07-16
*	MAJ Reals	desmettr	2002-07-16
*	MAJ Rgeom	desmettr	2002-07-16
*	Proprietes (calculatoires) des fonctions trigonometriques	desmettr	2002-07-16
*	Proprietes de la racine carree	desmettr	2002-07-16
*	Definition de la racine carree	desmettr	2002-07-16
*	Preuve de cos_plus	desmettr	2002-07-12
*	Quelques resultats supplementaires sur les suites convergentes	desmettr	2002-07-12
*	Le theoreme central sur les produits de Cauchy finis	desmettr	2002-07-12
*	Differents resultats sur les produits finis	desmettr	2002-07-12