coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Tactics.v bidon pour accomoder make world7	herbelin	2005-02-03
*	Généralisation à Type de certaines propriétés des relations	herbelin	2004-11-19
*	'match term' now evaluates by default. Added 'lazy' keyword to delay the eval...	herbelin	2004-10-11
*	V7 .v files for Setoid_* and Ring over setoids commented out.	sacerdot	2004-09-03
*	Nouvelle en-tête	herbelin	2004-07-16
*	Bug réaffichage EXT	herbelin	2004-04-15
*	Definition de la notation de la paire par un motif recursif	herbelin	2004-03-17
*	Commentaires	herbelin	2004-03-17
*	Bug compatibilite	herbelin	2004-03-12
*	MAJ Commentaires	herbelin	2004-02-28
*	Ajout delimiteur pour bool_scope	herbelin	2004-02-12
*	Décomposition automatique des règles d'analyse syntaxique pour les	herbelin	2004-02-12
*	MAJ simplification	herbelin	2004-01-27
*	Suppression de Rsyntax en v8	herbelin	2004-01-13
*	bugs avec Pose et Assert	barras	2004-01-09
*	Retrait de la notation '^' pour 'power' en V7 car sinon confusion avec la syn...	herbelin	2004-01-09
*	Vieille syntaxe	herbelin	2004-01-07
*	Ajout delimiteur et arguments de scope pour list	herbelin	2003-12-24
*	Finalement, espacement autour du ':' pour a la fois exists, forall et fun	herbelin	2003-12-23
*	Affichage sur le modèle du forall pour le exists	herbelin	2003-12-21
*	exists \| --> exists ,	barras	2003-12-16
*	Duplication temporaire des règles de syntaxe des paires	herbelin	2003-12-16
*	power associe a droite	marche	2003-12-05
*	Suppression du niveau 250 vide car pose des problemes avec camlp4; remplace p...	herbelin	2003-12-04
*	Meilleure robustesse des reordonnement d'arguments (4eme) en attendant le mem...	herbelin	2003-12-03
*	Meilleure robustesse des reordonnement d'arguments (3eme)	herbelin	2003-12-01
*	Meilleure robustesse des reordonnement d'arguments (2eme)	herbelin	2003-12-01
*	Meilleure robustesse des reordonnement d'arguments	herbelin	2003-12-01
*	Meilleure robustesse des reordonnement d'arguments	herbelin	2003-12-01
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29