coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Tentative fix for bug #2226: put inj_pair2 and eq_dep_eq hints in a	msozeau	2010-06-09
*	Added a few informations about file lineages (for the most part in kernel)	herbelin	2010-05-09
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Fix the stdlib doc compilation + switch all .v file to utf8	letouzey	2009-09-28
*	Modification des propriétés (svn:executable)	notin	2006-03-17
*	Modularisation des preuves concernant la logique classique, l'indiscernabilit...	herbelin	2006-03-05
*	Nouvelle en-tête	herbelin	2004-07-16
*	MAJ simplification	herbelin	2004-01-27
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Renommage K; equivalence JMeq et eq_dep sur Type	herbelin	2003-04-09
*	Documentation, généralisation à eq sur Type, preuves d'équivalence des	herbelin	2003-04-03
*	Mise de (*i autour CVS info	mohring	2001-04-19
*	entetes	filliatr	2001-03-15
*	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
*	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr	2000-01-21