coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	* empty log message *	desmettr	2001-12-05
*	Rustine pour garder la compatibilité avec la 7.1 pour l'ordre des imports sa...	herbelin	2001-12-05
*	Traitement t de -1<>0	delahaye	2001-12-04
*	bug fix de la condition de garde	barras	2001-12-04
*	Backtrack sur le commit du 30.11.2001	delahaye	2001-12-04
*	* empty log message *	desmettr	2001-12-03
*	desobfuscation du code de la verif de la condition de garde	barras	2001-11-30
*	* empty log message *	desmettr	2001-11-30
*	* empty log message *	desmettr	2001-11-30
*	* empty log message *	desmettr	2001-11-30
*	Ajout du fichier	desmettr	2001-11-30
*	* empty log message *	desmettr	2001-11-30
*	Modification de Reals pour integrer les modifications	desmettr	2001-11-30
*	Ajout du fichier concernant le carre et la racine carree	desmettr	2001-11-30
*	Integration de nouveaux lemmes	desmettr	2001-11-30
*	* empty log message *	desmettr	2001-11-30
*	Intégration de nouveaux lemmes.	desmettr	2001-11-30
*	Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avec	clrenard	2001-11-30
*	Mise a jour des dependances	clrenard	2001-11-29
*	mise a jour	filliatr	2001-11-29
*	reparation de Locate	barras	2001-11-29
*	nouvel algo de conversion plus uniforme	barras	2001-11-29
*	nouvel algo de conversion plus uniforme	barras	2001-11-29
*	mise a jour	filliatr	2001-11-27
*	Retablissement de la commande Existential que j'avais supprime par erreur.	clrenard	2001-11-23
*	MAJ	herbelin	2001-11-22
*	La mise en forme normale du prédicat d'élimination était un peu trop viole...	herbelin	2001-11-22
*	Amélioration message Cases	herbelin	2001-11-21
*	Quelques autres petits problèmes résolus...	herbelin	2001-11-21
*	* empty log message *	herbelin	2001-11-21
*	MAJ	herbelin	2001-11-21
*	Amélioration messages d'erreur arité incorrecte (notamment record)	herbelin	2001-11-21
*	Possibilité d'appeler check avec l'option -byte	herbelin	2001-11-21
*	Simplification de la propagation du prédicat, bugs, et messages d'erreurs	herbelin	2001-11-21
*	documentation de mes actions recentes sur les theories (PL)	letouzey	2001-11-21
*	remise au gout du jour du repertoire theories/Sorting de la V6.3	letouzey	2001-11-21
*	remise au gout du jour du repertoire theories/Sorting de la V6.3	letouzey	2001-11-21
*	La synthèse des '?' dans l'exemple avec un let était un peu trop ambitieuse...	herbelin	2001-11-21
*	Solution partielle au problème des alias dépendants pour les rendre compati...	herbelin	2001-11-21
*	Prise en compte des '?' aussi dans le type des définitions	herbelin	2001-11-21
*	Oubli des contraintes d'univers lors de la suppression des cast dans un commi...	herbelin	2001-11-21
*	Make sure that NatRing won't loop forever.	bertot	2001-11-21
*	Un bug dans le script	herbelin	2001-11-21
*	Sur l'exahustivité du filtrage	herbelin	2001-11-21