coq - The formal proof system

Age	Commit message (Expand)	Author
2002-03-19	Exportation de SplitRmult et SplitAbsolu	delahaye
2002-03-17	Field ne fait maintenant que les reductions necessaires	delahaye
2002-03-13	Ajout de lemmes	mohring
2002-03-07	* empty log message *	desmettr
2002-03-05	petits changements afin de profiter du nouveau Rewrite/in	barras
2002-03-04	Nouveau Rewrite-in plus economique	barras
2002-02-28	Ajout andb_true_eq pour PolyList.list_beq	herbelin
2002-02-22	Doc + ajout fold_symmetric et nth_In	herbelin
2002-02-22	Doc	herbelin
2002-02-21	code mort dans tactinterp; plus de Debug On/Off dans Correctness	filliatr
2002-02-19	Uniformisation des theoremes dans Set et Type (def. de Acc_rect et	barras
2002-02-14	option -dump-glob pour coqdoc	filliatr
2002-02-14	Syntaxe IF then else au lieu de either and_then or_else	barras
2002-01-31	changement generation de schema d'elimination, False_rec est primitif, Constr...	mohring
2002-01-29	modification de la definition des def inductives unitaires et autorisation d'...	mohring
2002-01-25	Bug affichage de O (de nat) dans une expression sur Z	herbelin
2002-01-25	Zdiv et Zmod dans Zcomplements	filliatr
2002-01-18	Bug commentaire (i i)	herbelin
2002-01-18	amadouage de coqweb	letouzey
2002-01-18	ajouts provenant de Chinese dans ZArith + deplacements de 3 fichiers de contr...	letouzey
2002-01-10	Modifs incongrues dans le précédent commit	herbelin
2002-01-09	MAJ des Id pour coqweb	herbelin
2002-01-07	Ajout en-tête	herbelin
2001-12-21	Passage coqweb	herbelin
2001-12-21	Commentaire coqweb non fermé	herbelin
2001-12-21	Extension de Even et Div2	herbelin
2001-12-19	* empty log message *	desmettr
2001-12-07	* empty log message *	desmettr
2001-12-07	* empty log message *	desmettr
2001-12-06	Amélioration nommage hypothèses NewInduction (et incompatibilités)	herbelin
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-05	* empty log message *	desmettr
2001-12-04	Traitement t de -1<>0	delahaye
2001-12-04	Backtrack sur le commit du 30.11.2001	delahaye
2001-12-03	* empty log message *	desmettr
2001-11-30	* empty log message *	desmettr
2001-11-30	* empty log message *	desmettr
2001-11-30	* empty log message *	desmettr
2001-11-30	Ajout du fichier	desmettr
2001-11-30	Modification de Reals pour integrer les modifications	desmettr
2001-11-30	Ajout du fichier concernant le carre et la racine carree	desmettr
2001-11-30	Integration de nouveaux lemmes	desmettr
2001-11-30	* empty log message *	desmettr
2001-11-30	Intégration de nouveaux lemmes.	desmettr
2001-11-21	remise au gout du jour du repertoire theories/Sorting de la V6.3	letouzey