coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	reparation du cas des arguments de type qui sont des arités + patch dummy ap...	letouzey	2002-03-28
*	Refonte complete de la génération des types ML	letouzey	2002-03-26
*	considerations de pretty-print	letouzey	2002-03-21
*	gros commit: principalement ajout des lambdas arity + leur optimisation en te...	letouzey	2002-03-15
*	cas des constructeurs singletons. Messages d'erreur. Revision de test_extract...	letouzey	2002-03-05
*	correction du eta_expanse	letouzey	2001-09-20
*	suite du musée des horreurs	letouzey	2001-05-22
*	bug cast	letouzey	2001-05-11
*	exemples Magic	letouzey	2001-05-10
*	bug dans eta-expansion des constructeurs. Argument Prop dans extract_type_app	letouzey	2001-04-10
*	changement type_var et signature	filliatr	2001-03-28
*	conservation des arguments dans Prop (snif)	filliatr	2001-03-27
*	trace des inductifs sur Prop	letouzey	2001-03-27
*	eta-expansion des constructeurs si necessaire (a posteriori en miniML)	filliatr	2001-03-23
*	suppression des param dans inductifs. suite du Cases	letouzey	2001-03-23
*	Reecriture du extract_type pour Prod et Lambda. Eta-expansion dans les branch...	letouzey	2001-03-21
*	extraction naive de fix et case	filliatr	2001-03-20
*	Extract_term_with_type. mise a jour & verification des commentaires	letouzey	2001-03-20
*	entetes	filliatr	2001-03-15
*	interface du extract_rec. Extract_constr prend un environnement	letouzey	2001-03-14
*	signatures dans le bon ordre	filliatr	2001-03-13
*	Finite	filliatr	2001-03-13
*	simplification: plus de contexte pour extract_type et contexte simplifié pou...	filliatr	2001-03-13
*	suite de la verification des assert false	letouzey	2001-03-13
*	mise a jour commentaires'	filliatr	2001-03-12
*	Commentaires. Verification des assert false. Probleme des types ML arity.	letouzey	2001-03-12
*	distinction contexte et signature	filliatr	2001-03-07