coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Documentation, généralisation à eq sur Type, preuves d'équivalence des	herbelin	2003-04-03
*	JMeq now treated as an equality by tactics.	courant	2002-11-14
*	Preuves dans CC de	herbelin	2002-08-13
*	Ajout Hurkens.v, ProofIrrelevances.v et l'indiscernabilite dans Classical_Prop.v	herbelin	2002-05-29
*	Uniformisation (Qed/Save et Implicits Arguments)	herbelin	2002-04-17
*	Prise en compte des dependances dans la tactique Case	mohring	2002-03-26
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	Protection des commentaires pour coqtex et coqweb	herbelin	2001-08-13
*	Expérimentation de NewDestruct et parfois NewInduction	herbelin	2001-08-05
*	Ajout du paradoxe de Berardi dans Logic (preuve que EM => PI dans CCI)	barras	2001-06-18
*	Mise de (*i autour CVS info	mohring	2001-04-19
*	Ajout de l'egalite de John Major	mohring	2001-04-12
*	documentation automatique de la bibliothèque standard	filliatr	2001-04-11
*	Ajout lemmes arithmetiques	mohring	2001-04-08
*	entetes	filliatr	2001-03-15
*	Renommage des variables dans les schémas d'induction	herbelin	2001-02-14
*	caractere opaque des constantes repris en compte	filliatr	2000-12-04
*	Un usage en moins de l'axiome eq_rec_eq	herbelin	2000-10-06
*	Commit malencontreux sur précédente version	herbelin	2000-10-04
*	Mise en conformité nouveau Simpl pour Fix	herbelin	2000-10-04
*	Eqdep_dec retrouve ses noms d'origine grace au nouvel Reduction.instance util...	herbelin	2000-03-21
*	Syntactic Definition n'etaient pas correctemenet importees	filliatr	2000-03-16
*	* empty log message *	barras	2000-03-10
*	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr	2000-01-21