coq - The formal proof system

Age	Commit message (Expand)	Author
2003-12-15	modif existentielle (exists \| --> exists ,) + bug d'affichage des pt fixes	barras
2003-12-01	Ratage standardisation Rge_monotony en Rmult_ge_compat_r	herbelin
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-11-29	Ajout lemmes, simplification preuve de SeqProp	herbelin
2003-11-28	Protection contre les renommages; redondances	herbelin
2003-11-19	Restauration compatibilite 7.4 pour le Hint Unfold Rgt	herbelin
2003-11-15	Meilleure solution pour la compatibilite	herbelin
2003-11-12	MAJ INZ	herbelin
2003-11-02	Restauration preference Rge a Rle pour compatibilite...; petit nettoyage	herbelin
2003-10-16	lettac -> set	barras
2003-10-16	Ajout de quelques lemmes cles	herbelin
2003-06-12	INZ reste constante pour compat V7 mais Unfold INZ est supprimé par le tradu...	herbelin
2003-05-24	"INZ" déplacé en V8 dans ZArith, juste syntaxique en V7 dans Reals	herbelin
2003-04-29	En v8: abandon de Rle_sym2, Rle_sym1 au profit de Rge_le, Rle_ge; abandon de ...	herbelin
2003-04-12	Open Scope en Local	herbelin
2003-04-10	Remplacement Import par Open Scope en v8	herbelin
2003-04-09	Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import".	herbelin
2003-03-31	Ajout Implicit Variable Type	herbelin
2003-03-21	* empty log message *	barras
2003-03-12	* empty log message *	barras
2003-02-27	Restructuration des hints pour qu'Auto fasse moins de détours et les	herbelin
2003-01-21	Suppression de INR2 / Conséquence logique de la nouvelle représentation des...	desmettr
2003-01-16	Renommage de Rbase.v en RIneq.v	desmettr