coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nouvelle en-tête	herbelin	2004-07-16
*	Uniformisation des politiques de nommage de NewDestruct sur arguments recursi...	herbelin	2003-11-25
*	factorisation et generalisation des clauses	barras	2003-11-13
*	Bug TacId	herbelin	2003-11-12
*	changement nouvelle syntaxe (pt fixes)	barras	2003-10-10
*	Ajout 'Symmetry in Hyp'	herbelin	2003-06-19
*	* empty log message *	barras	2003-03-12
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	Simplification de Proof_type.prim_rule	herbelin	2002-03-27
*	petit nettoyage de kernel/inductive	barras	2002-02-07
*	compat ocaml 3.03	filliatr	2001-12-13
*	Suppression des stamps et donc des *_constraints	clrenard	2001-11-12
*	Suppression des local_constraints, des ctxtty et du focus.	clrenard	2001-11-06
*	GROS COMMIT:	barras	2001-11-05
*	Suppression des arguments sur les constantes, inductifs et constructeurs	barras	2001-10-09
*	Making sure there will be no warnings at compile time.	bertot	2001-04-19
*	Correcting a problem of s that appears behind a Let when there are	bertot	2001-04-18
*	Adding files for the production of textual explanations as used in pcoq.	bertot	2001-04-18