coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Autour du parsing:	herbelin	2008-07-15
*	Ajout infos de débogage de "universe inconsistency" quand option Set	herbelin	2007-09-30
*	Typos	herbelin	2007-03-15
*	Mise en forme des theories	notin	2006-10-17
*	Ajout exists! et restructuration/extension des fichiers sur la	herbelin	2006-06-04
*	Modularisation des preuves concernant la logique classique, l'indiscernabilit...	herbelin	2006-03-05
*	Ajout étude IP généralisé, Gödel-Dummett, buveur	herbelin	2006-03-05
*	Réponse à la conjecture que PI est indépendant de EM dans CC	herbelin	2004-11-02
*	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
*	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
*	Renommage bool en boolP pour eviter la qualification	herbelin	2003-11-02
*	Preuves dans CC de	herbelin	2002-08-13