coq - The formal proof system

Age	Commit message (Expand)	Author
2007-05-28	Contrôle de la compatibilité de apply via une information dans les	herbelin
2007-05-23	Suite restructuration unification et division des problèmes	herbelin
2007-05-22	Nouvelle stratégie d'unification des types des with-bindings dans	herbelin
2006-11-19	Raffinement de l'unification de "apply": mémorisation de certains	herbelin
2006-09-01	Ajout is_sort: test si se réduit en une sorte	herbelin
2006-08-28	Ajout whd_eta + export append_stack_list + petit nettoyage (dont maj de	herbelin
2006-05-23	Nouvelle implantation du polymorphisme de sorte pour les familles inductives	herbelin
2006-05-13	Code mort	herbelin
2006-05-05	amelioration de la machine interpretee (vecteurs au lieu de listes d'arguments)	barras
2006-04-28	Standardisation du nom des méthodes de Evd	herbelin
2006-04-25	Reverting nf_betaiotaevar_preserving_vm_cast	jforest
2006-04-14	replacing whd_betaiotaevar_preserving_vm_cast	jforest
2006-03-28	Correction bug/typo dans splay_prod_assum et ajout decomp_sort	herbelin
2005-12-02	Changement des named_context	gregoire
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2005-06-07	reparations de quelques petits bugs d\'unification + introduction de la notio...	barras
2005-03-15	Backtrack sur la substitution combinée avec l'instanciation en réponse à l...	herbelin
2005-03-10	A défaut de substitution paresseuse ou explicite, ajout d'une substitution o...	herbelin
2005-03-10	A défaut de substitution paresseuse ou explicite, ajout d'une substitution o...	herbelin
2005-02-18	Ajout splay_lambda	herbelin
2004-09-17	restructuration des printers: proofs passe avant parsing	barras
2004-09-15	hiding the meta_map in evar_defs	barras
2004-09-03	premiere reorganisation de l\'unification	barras
2004-07-16	Nouvelle en-tête	herbelin
2004-06-29	Essai de suppression de eta dans simpl (cf bug #779)	herbelin
2004-05-14	test de conversion laissait echapper exception NotConvertible	barras
2003-05-19	Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern	herbelin
2003-04-16	simplification: fst (list_chop n l) = firstn n l et snd (list_chop n l) = lis...	letouzey
2002-11-05	Intégration des modifs de la branche mowgli :	herbelin
2001-11-06	corrections mineures suite au commit de restructuration du noyau	barras
2001-11-06	Suppression des local_constraints, des ctxtty et du focus.	clrenard
2001-11-05	GROS COMMIT:	barras