coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Meilleure robustesse des reordonnement d'arguments	herbelin	2003-12-01
*	Bug traduction clearbody	herbelin	2003-12-01
*	Idtac parle	narboux	2003-12-01
*	maj	filliatr	2003-12-01
*	maj	filliatr	2003-12-01
*	MAJ	herbelin	2003-11-30
*	MAJ	herbelin	2003-11-30
*	installation	herbelin	2003-11-29
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
*	Obsolete, cf Funind.v dans test-suite	herbelin	2003-11-29
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	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
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	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
*	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
*	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin	2003-11-29
*	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7	herbelin	2003-11-29
*	Notation locale pour Rpower	herbelin	2003-11-29
*	Ajout lemmes, simplification preuve de SeqProp	herbelin	2003-11-29
*	MAJ	herbelin	2003-11-29
*	ground->firstorder, cc-> congruence, CC final commit	corbinea	2003-11-29
*	Renommages de variables dans RIneq	herbelin	2003-11-29
*	Utilisation nom dans message d'erreur implicite pas trouve	herbelin	2003-11-29
*	Utilisation du total_order non constructif	herbelin	2003-11-29
*	Report de lemmes de Znumtheory dans Zabs ou BinInt	herbelin	2003-11-29
*	Renommages discrets dans RIneq et Znumtheory	herbelin	2003-11-29
*	Protection contre les renommages; redondances	herbelin	2003-11-28
*	commands renomme en queries, command goto a la place de forward to backwardt o	marche	2003-11-28
*	Simplest Demo on modules	coq	2003-11-28
*	MAJ	herbelin	2003-11-28
*	maj	filliatr	2003-11-28
*	Suite commit precedent	herbelin	2003-11-27
*	Retour des _eq en v8	herbelin	2003-11-27
*	Qualification des noms utilisateurs en cas de collision avec un nom nouveau	herbelin	2003-11-27
*	Monstrueuse inefficacite due a l'innocence du redacteur de la ligne vis a vis...	herbelin	2003-11-27
*	Hint Destruct mal affiche	barras	2003-11-27
*	* empty log message *	barras	2003-11-27
*	Reparation bug compil	mohring	2003-11-27
*	maj	filliatr	2003-11-27
*	maj	filliatr	2003-11-27
*	Ajout ne_string	herbelin	2003-11-27
*	Traduction de @; simplification traduction des ident	herbelin	2003-11-26
*	Renommage de tactiques ltac coincidant avec certaines tactiques primitives	herbelin	2003-11-26
*	Protection contre les notations vides	herbelin	2003-11-26
*	Remplacement de l'indicateur de date "@" par 'at'	herbelin	2003-11-26
*	Export string_index_from	herbelin	2003-11-26