coq - The formal proof system

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