coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Correction de bugs:	herbelin	2008-08-05
*	Backtrack sur la mise à disposition en standard de la notation [ x ; ... ; y ]	herbelin	2008-05-09
*	Ajout notation [ x ; ... ; y ] dans list_scope. Changement de la	herbelin	2008-04-29
*	- A little cleanup in Classes/*. Separate standard morphisms on	msozeau	2008-04-08
*	Plug the new setoid implemtation in, leaving the original one commented	msozeau	2008-03-06
*	Solde de code mort et petites optimisations sur lesquels je suis	herbelin	2008-02-09
*	Orthographe en passant	herbelin	2007-04-29
*	changement dans ring specification du sign, division	bgregoir	2007-02-05
*	Changement dans ring et field, beaucoup de correction d'erreurs,	bgregoir	2006-12-15
*	Changement dans le kernel :	bgregoir	2006-12-11
*	simplif de la partie ML de ring/field	barras	2006-10-27
*	changement des _sym par _comm dans setoid_ring	bgregoir	2006-10-27
*	changes the use of lists and notations, to avoid that the notations	bertot	2006-10-16
*	commit de field + renommages	barras	2006-09-26