coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	* empty log message *	werner	2002-04-17
*	Uniformisation (Qed/Save et Implicits Arguments)	herbelin	2002-04-17
*	Ajout de lemmes	mohring	2002-03-13
*	Doc + ajout fold_symmetric et nth_In	herbelin	2002-02-22
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	interversion de deux Elim dans In_dec pour que la fonction extraite soit effi...	letouzey	2001-11-03
*	ajout option , Exc --> option, et lemmes dans les theories	mohring	2001-08-29
*	Rétablissement nom de section Map après résolution bugs surcharge de noms	herbelin	2001-08-13
*	Expérimentation de NewDestruct et parfois NewInduction	herbelin	2001-08-05
*	modif Map section	mohring	2001-07-16
*	Library doc adjustments (until page 140)	coq	2001-04-20
*	Ajout de fonctions proposees par Cuiht Alvarado	mohring	2001-04-19
*	Mise de (*i autour CVS info	mohring	2001-04-19
*	documentation automatique de la bibliothèque standard	filliatr	2001-04-11
*	entetes	filliatr	2001-03-15
*	- coqc : option -image	filliatr	2001-02-01
*	Mise a jour Rbase	mohring	2001-01-11
*	Meta Definition -> Tactic Definition	delahaye	2001-01-09
*	Tactic Definition -> Meta Definition	delahaye	2001-01-09
*	Ajout du Let pour le langage de tactiques	delahaye	2000-12-29
*	Renommages autour de NewInduction	herbelin	2000-12-18
*	Elimination du '	delahaye	2000-11-28
*	Le nouvel Induction s'appelle NewInduction	herbelin	2000-11-26
*	Petite simplif due au nouveau Tauto	delahaye	2000-11-24
*	Retour a la version 1.1	herbelin	2000-11-13
*	Modification de la table des tactic Definitions pour eviter l'ecriture	mohring	2000-11-07
*	Orthographe	herbelin	2000-11-07
*	Mise a jour TheoryList	mohring	2000-10-27
*	Remplacement de la tactique Program (partiel)	herbelin	2000-10-05
*	portage Refine	filliatr	2000-07-20
*	Traduction de syntaxe vers ltac	delahaye	2000-07-03
*	Retrait des parenthèses inutiles autour des tactiques	herbelin	2000-07-01
*	theories/Lists	filliatr	2000-06-21