coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Induction -> NewInduction; '++' pour app	herbelin	2003-09-26
*	Implicits maintenant au courant pour l'affichage	herbelin	2003-09-22
*	Changement de la politique de V8only: V8only tout seul signifie	herbelin	2003-09-21
*	Ajout notation :: pour cons	herbelin	2003-09-19
*	Calcul automatique de l'implicite de nil pour que l'affichage sache le traiter	herbelin	2003-04-10
*	nil en implicite dans la v8	herbelin	2003-04-09
*	* empty log message *	barras	2003-03-12
*	* empty log message *	werner	2002-04-17
*	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
*	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
*	Renommages autour de NewInduction	herbelin	2000-12-18
*	Le nouvel Induction s'appelle NewInduction	herbelin	2000-11-26
*	Petite simplif due au nouveau Tauto	delahaye	2000-11-24
*	portage Refine	filliatr	2000-07-20
*	Retrait des parenthèses inutiles autour des tactiques	herbelin	2000-07-01
*	theories/Lists	filliatr	2000-06-21