coq - The formal proof system

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