coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	ouverture du bon scope (positive_scope) derriere le constructeur Npos de N	letouzey	2006-04-06
*	Minimum pour documentation TeX de la biblio	herbelin	2006-02-22
*	Re-unboxing de BinPos (sauf Pplus): sinon, fait partir Coqbook pour des jours...	coq	2005-02-07
*	Suppression de l'Unboxed des opérations sur positive (cf bug 898)	herbelin	2005-02-04
*	Changement dans les boxed values .	gregoire	2004-11-12
*	Nouvelle en-tête	herbelin	2004-07-16
*	modif existentielle (exists \| --> exists ,) + bug d'affichage des pt fixes	barras	2003-12-15
*	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-29
*	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-21
*	Pour les .v8	herbelin	2003-11-14
*	Presentation	herbelin	2003-11-14
*	Ordre standard pour l'associativite	herbelin	2003-11-14
*	Noms/énoncés plus canoniques	herbelin	2003-11-12
*	Independance vis a vis noms variables liees	herbelin	2003-11-12
*	Notations	herbelin	2003-11-05
*	Ajout répertoire NArith pour l'arithmétique binaire sur les nombres positif...	herbelin	2003-11-05