coq - The formal proof system

Age	Commit message (Expand)	Author
2010-02-17	Arith's min and max placed in Peano (+basic specs max_l and co)	letouzey
2009-11-02	Remove various useless {struct} annotations	letouzey
2009-08-11	Fixed extra space in printing notation { x & P } + minor other things	herbelin
2008-12-26	- Optimized "auto decomp" which had a (presumably) exponential in	herbelin
2008-10-14	ugly comment erroneously left in the minus definition	letouzey
2008-06-12	Changing the definitions of pred and minus in the style of GG	werner
2008-06-02	Petites corrections diverses :	herbelin
2008-05-28	- Modification de la déf de minus et pred conformément aux remarques de	herbelin
2006-10-17	Mise en forme des theories	notin
2006-03-17	Modification des propriétés (svn:executable)	notin
2005-05-19	Documentation	herbelin
2005-02-04	Essai d'utilisation de 'where' pour les notations	herbelin
2004-11-12	Changement dans les boxed values .	gregoire
2004-07-16	Nouvelle en-tête	herbelin
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-11-14	Backtrack sur Peano	herbelin
2003-11-12	Lemmes dans un sens plus naturel	herbelin
2003-10-10	nat_scope ouvert par defaut	herbelin
2003-09-23	Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...	herbelin
2003-09-22	traducteur: affiche les commentaires a l'interieur des commandes	barras
2003-09-21	Les notations 'x <= y <= z' sont réservées et s'appliquent maintenant aussi...	herbelin
2003-09-19	Mise en place des V8Notation et V8Infix pour declarer des notations en v8 mem...	herbelin
2003-09-12	Bind et Delimit pour nat	herbelin
2003-05-21	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin
2003-04-29	Blancs	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
2002-05-07	lemmes plus_O_n et plus_Sn_m (pour Yves)	filliatr
2002-05-07	lemmes plus_O_n et plus_Sn_m (pour Yves)	filliatr
2002-02-14	option -dump-glob pour coqdoc	filliatr
2002-01-10	Modifs incongrues dans le précédent commit	herbelin
2002-01-09	MAJ des Id pour coqweb	herbelin
2001-11-14	Suppression d'Export redondants	herbelin
2001-04-11	documentation automatique de la bibliothèque standard	filliatr
2001-03-15	entetes	filliatr
1999-12-13	- méthode load sur les Hints	filliatr
1999-12-13	fichiers prelude Coq	filliatr