coq - The formal proof system

Age	Commit message (Expand)	Author
2006-05-19	Ajout de pr_sort, extern_sort, detype_sort et renommage pr_sort en pr_rawsort	herbelin
2006-04-27	- Distinction explicite des parties paramètres et arguments dans le type	herbelin
2006-04-26	- Utilisation d'abbréviations pour les types intervenant dans RCases	herbelin
2006-01-16	Version préliminaire d'inversion de la compilation du filtrage	herbelin
2006-01-11	Standardisation du nom de subst_raw en subst_rawconstr	herbelin
2006-01-11	Restructuration et simplification des fonctions d'affichage, de détypage	herbelin
2005-05-20	Documentation	herbelin
2005-01-03	HUGE COMMIT	sacerdot
2004-07-16	Nouvelle en-tête	herbelin
2004-07-16	Suppression de Rawterm.loc, branchement sur Util.loc	herbelin
2004-03-28	Passage a un 'if-then-else' ou ne sont mentionnes que les membres droits qui ...	herbelin
2003-09-23	Changement de l'afficheur pour que les variables liées aient un nom indépen...	herbelin
2003-08-11	Nouvelle mouture du traducteur v7->v8	herbelin
2003-06-10	Factorisation de detype_case pour utilisation par l'afficheur de pattern	herbelin
2002-02-07	petit nettoyage de kernel/inductive	barras
2001-11-05	GROS COMMIT:	barras
2001-03-15	entetes	filliatr
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
2000-10-18	Renommage canonique :	herbelin
2000-09-10	Suppression de Abst	herbelin
2000-07-24	Passage à des contextes de vars et de rels pouvant contenir des déclarations	herbelin
2000-03-21	Prise en compte nouveau case_info	herbelin
2000-01-07	Traduction constr->rawconstr (avant dans Termast	herbelin