coq - The formal proof system

Age	Commit message (Expand)	Author
2003-03-12	* empty log message *	barras
2002-12-23	Prise en compte application partielle dans dependent	herbelin
2002-12-19	Petit netoyage dans lib	coq
2002-11-18	Allègement du noyau	herbelin
2002-10-15	nom de fonction plus simple	barras
2002-10-09	retour en arriere concernant la recherche d'occurence modulo expansion des le...	barras
2002-08-16	correction de bugs:	barras
2002-08-13	Renoncement à distinguer les types "constr" et "types"; nettoyage	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-03-26	Prise en compte des dependances dans la tactique Case	mohring
2002-03-21	Décomposition de l'application n-aire en application binaire pour que Patter...	herbelin
2002-03-04	Nouveau Rewrite-in plus economique	barras
2002-02-15	petits changements cosmetiques sur les tactiques	barras
2002-02-11	substitution et pattern modulo let	barras
2002-02-07	petit nettoyage de kernel/inductive	barras
2002-01-17	Amélioration affichage échec lookup_eliminator	herbelin
2001-12-13	compat ocaml 3.03	filliatr
2001-11-12	Suites modifs du noyau. Univ devient purement fonctionnel.	barras
2001-11-05	GROS COMMIT:	barras