coq - The formal proof system

Age	Commit message (Expand)	Author
2003-09-12	Suppression DatatypesSyntax et PeanoSyntax qui était vides	herbelin
2003-04-09	Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import"	herbelin
2003-03-29	Déplacement de minus dans Peano	herbelin
2003-03-21	* empty log message *	barras
2003-03-12	* empty log message *	barras
2003-01-30	Pb de parenthèse dans "Check (S (plus O O))"	herbelin
2002-12-15	Ajout syntaxe '>'	herbelin
2002-11-24	Généralisation de l'utilisation de Notation	herbelin
2002-11-20	Les parenthèses de la notation '(n)' maintemant mises par ML pour un meilleu...	herbelin
2002-11-07	Un hack camlp4 qui marche à tous les coups pour continuer à parser '(n)' co...	herbelin
2002-10-23	Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour	herbelin
2002-10-21	Prise en compte des délimiteurs dans les motifs de Cases	herbelin
2002-10-18	Et 48, et 80, et 81, et 91, et 95, ... pour accommoder toujours plus de contribs	herbelin
2002-10-17	Parsing des entiers de nat jusqu'à 29 pour accommoder certaines contribs	herbelin
2002-10-14	La règle pour parser "(1)", "(2)", ... entre en conflit avec les expressions	herbelin
2002-10-13	Mise en place d'ensembles de notations symboliques pour nat, Z et R	herbelin