coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	Updating headers.	herbelin	2012-08-08
*	Open Local Scope ---> Local Open Scope, same with Notation and alii	letouzey	2012-07-05
*	Cleaning a little bit the files talking about descriptions: avoiding	herbelin	2011-11-03
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	- Export de pattern_ident vers les ARGUMENT EXTEND and co.	herbelin	2008-10-19
*	Autour du parsing:	herbelin	2008-07-15
*	Révision de theories/Logic concernant les axiomes de descriptions.	herbelin	2007-10-03
*	Clarification redondance Axiome du choix unique/description	herbelin	2007-01-22
*	Ajout exists! et restructuration/extension des fichiers sur la	herbelin	2006-06-04
*	Nouvelle en-tête	herbelin	2004-07-16
*	Commentaires	herbelin	2004-03-17
*	changement de pose en set (pose n'etait pas utilise avec la semantique	barras	2003-12-24
*	modif existentielle (exists \| --> exists ,) + bug d'affichage des pt fixes	barras	2003-12-15
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Biblio standard sans mention de la possibilite d'etre impredicatif	herbelin	2003-11-07
*	Renforcement significatif du resultat principal	herbelin	2003-11-02
*	Fichier offrant l'axiome du choix unique en presence de logique classique	herbelin	2003-10-28