coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Encore des _sym au lieu de _comm	herbelin	2006-11-13
*	The statement of the compatibility theorem for addition and multiplication	sacerdot	2005-02-02
*	Changement dans les boxed values .	gregoire	2004-11-12
*	The "Add Setoid" command now has a new argument "as name" that is used	sacerdot	2004-10-01
*	Ported to the new implementation of setoid_*.	sacerdot	2004-09-03
*	Nouvelle en-tête	herbelin	2004-07-16
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	distinguer interp_cs et interp_setcs	letouzey	2003-10-06
*	Alignement du comportement des implicites d'inductif en sortie de section sur...	herbelin	2003-04-09
*	eq fusionne avec eqT et devient par défaut sur Type,	herbelin	2003-03-29
*	Nettoyage	herbelin	2002-11-28
*	Uniformisation (Qed/Save et Implicits Arguments)	herbelin	2002-04-17
*	MAJ vis à vis de la nouvelle non-localité des Remark/Fact	herbelin	2001-09-14
*	Parsing	herbelin	2001-08-10
*	Expérimentation de NewDestruct et parfois NewInduction	herbelin	2001-08-05
*	Setoid_rewrite -> Rewrite	clrenard	2001-07-10
*	Ajout des fichiers pour le Ring pour setoides	clrenard	2001-07-10