coq - The formal proof system

Age	Commit message (Expand)	Author
2002-07-09	Making the sumbool functions transparent, so that they can used to	bertot
2002-06-20	ZArith_base, Zbool, Bool_nat	filliatr
2002-05-29	Introduction de syntaxe convivial +,*,<=,<,>=	herbelin
2002-05-29	Double Induction prend maintenant des noms d'hyppthèses	herbelin
2002-05-16	Ajout Peano_dec et Compare_dec	herbelin
2002-04-17	Uniformisation (Qed/Save et Implicits Arguments)	herbelin
2002-03-22	* empty log message *	werner
2002-02-14	option -dump-glob pour coqdoc	filliatr
2001-12-21	Commentaire coqweb non fermé	herbelin
2001-12-21	Extension de Even et Div2	herbelin
2001-12-06	Amélioration nommage hypothèses NewInduction (et incompatibilités)	herbelin
2001-11-15	Ajout d'un fichier Max dans Arith, et enrichissement du Min.	letouzey
2001-11-15	Ajout des fonctions tail-recursives tail_plus et tail_mult.	letouzey
2001-09-20	Transparent	barras
2001-08-05	Expérimentation de NewDestruct et parfois NewInduction	herbelin
2001-04-20	Library doc adjustments (until page 140)	coq
2001-04-19	Mise de (*i autour CVS info	mohring
2001-04-19	* empty log message *	mohring
2001-04-19	Remplacement Euclid_def Euclid_proof par Euclid	mohring
2001-04-11	documentation automatique de la bibliothèque standard	filliatr
2001-04-08	ajout des lemmes Zimmerman	mohring
2001-03-15	entetes	filliatr
2001-01-19	Ajout d'un parseur d'entiers sous forme de pattern	herbelin
2000-12-20	Oublié de supprimer du code mort	herbelin
2000-12-20	Rétablissement de l'ancien comportement de Simpl sauf dans le cas mutuel ind...	herbelin
2000-11-28	Elimination du '	delahaye
2000-11-07	Modification de la table des tactic Definitions pour eviter l'ecriture	mohring
2000-11-05	Plus besoin de rajouter "Require Plus"	herbelin
2000-10-27	Passage command -> constr	herbelin
2000-10-27	g_natsyntax et g_zsyntax maintenant toujours linkes	filliatr
2000-10-04	Commit malencontreux sur précédente version	herbelin
2000-10-04	Mise en conformité nouveau Simpl pour Fix	herbelin
2000-06-21	Require Plus ajoute	filliatr
2000-05-22	Changement nommage des hypothèses; parenthèses pour les tactiques	herbelin
2000-05-22	Parenthèses	herbelin
2000-05-18	parethèses de tactiques	herbelin
2000-04-26	suppression doublon	filliatr
2000-03-18	g_natsyntax.ml	filliatr
2000-03-10	mise sous CVS du repertoire theories/Arith	filliatr