coq - The formal proof system

Age	Commit message (Expand)	Author
2007-04-02	Réparation de NArith/BinPos.v suite au commit #9739	notin
2007-03-30	Added the following theorems to BinPos:	emakarov
2007-03-14	Removed an unnecessary argument (p : positive) in Prect_base.	emakarov
2006-12-28	Remplacement axiome JMeq_eq dans BinPos par eq_dec_eq sur type à	herbelin
2006-12-28	Remplacement de la définition de Pind et Prec par une définition	herbelin
2006-12-15	Changement dans ring et field, beaucoup de correction d'erreurs,	bgregoir
2006-10-05	Arith NArith et ZArith exportent ring + nettoyage dans Ring_polynom	barras
2006-04-29	qq proprietes de plus sur Ncompare	letouzey
2006-04-28	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin
2006-04-26	suite du pont entre Bvector et N	letouzey
2006-04-25	Un gros coup de lifting pour IntMap:	letouzey
2006-04-06	ouverture du bon scope (positive_scope) derriere le constructeur Npos de N	letouzey
2006-02-22	Minimum pour documentation TeX de la biblio	herbelin
2005-02-07	Re-unboxing de BinPos (sauf Pplus): sinon, fait partir Coqbook pour des jours...	coq
2005-02-04	Suppression de l'Unboxed des opérations sur positive (cf bug 898)	herbelin
2004-11-12	Changement dans les boxed values .	gregoire
2004-07-16	Nouvelle en-tête	herbelin
2003-12-15	modif existentielle (exists \| --> exists ,) + bug d'affichage des pt fixes	barras
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-11-29	Report de lemmes de Znumtheory dans Zabs ou BinInt	herbelin
2003-11-21	ajout Pnat (suite)	herbelin
2003-11-21	Extraction des lemmes sur convert/nat_of_P de BinPos vers Pnat; ajout Pcase e...	herbelin
2003-11-14	Pour les .v8	herbelin
2003-11-14	Presentation	herbelin
2003-11-14	Ordre standard pour l'associativite	herbelin
2003-11-12	Noms/énoncés plus canoniques	herbelin
2003-11-12	Independance vis a vis noms variables liees	herbelin
2003-11-05	Notations	herbelin
2003-11-05	Ajout répertoire NArith pour l'arithmétique binaire sur les nombres positif...	herbelin