coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	TODO	letouzey	2003-11-12
*	maj status de l'extraction des modules	letouzey	2003-02-03
*	maj V7.4	letouzey	2003-01-23
*	* empty log message *	letouzey	2002-04-18
*	maj doc extraction dans repertoire contrib/extraction	letouzey	2002-04-15
*	un peu de mise a jour de la doc extraction	letouzey	2002-03-15
*	maj	letouzey	2001-05-22
*	TODO in v.o., test/Makefile moins pire, README avec ref	letouzey	2001-04-24
*	Uncurryfy_ast inutile depuis l'eta-expansion dans extraction.ml.	letouzey	2001-04-23
*	synchonization des tables d'extraction	filliatr	2001-04-19
*	eliminiation des singletons du genre sig + divers	letouzey	2001-04-13
*	bug lift dans IsRel de extract_type. Axiomes dans extract_type	letouzey	2001-04-10
*	axiomes dans les types	filliatr	2001-04-04
*	rollback sur les commandes Extract Constant/Inductive; nettoyage et documenta...	filliatr	2001-04-04
*	commandes Extract Constant/Inductive; message d'erreur pour les axiomes	filliatr	2001-04-03
*	inductifs vides	filliatr	2001-04-02
*	à faire	filliatr	2001-04-02