coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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