coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Simplification vis a vis de Declare	herbelin	2003-09-12
*	Branchement constant sur Coqlib	herbelin	2003-09-12
*	Ajout construction If primitive dans constr_expr et rawconstr	herbelin	2003-09-09
*	Mise en place possibilité de définitions locales dans les paramètres des r...	herbelin	2003-09-06
*	Paramétrisation vis à vis de existential_key	herbelin	2003-09-06
*	Mise en place possibilité de définitions locales dans les paramètres des i...	herbelin	2003-09-06
*	Pour accomoder autant le printer v8 que v7	herbelin	2003-09-06
*	Protection contre les types sans corps associé	herbelin	2003-09-06
*	bug dans calcul nb d'occurrences	letouzey	2003-09-05
*	correction d'un stack overflow possible (PR#320)	letouzey	2003-08-28
*	Traducteur de correctness	herbelin	2003-08-14
*	code mort	herbelin	2003-08-14
*	Traduction mlnames	herbelin	2003-08-14
*	Notation access au dessous du niveau applicatif (2eme)	herbelin	2003-08-14
*	Notation access au dessous du niveau applicatif	herbelin	2003-08-13
*	Nouvelle mouture du traducteur v7->v8	herbelin	2003-08-11
*	Ground bugfix	corbinea	2003-07-11
*	bug typage du cases/identity: optim off si inductif avec vars	letouzey	2003-07-10
*	renommage des modules 1er niveau en monolithique	letouzey	2003-07-10
*	Ground update	corbinea	2003-07-08
*	bug match match	letouzey	2003-07-08
*	Ground bugfix	corbinea	2003-07-04
*	switching back to old tauto	corbinea	2003-07-03
*	modification ground	corbinea	2003-07-03
*	addition of Auto hints in Ground	corbinea	2003-07-03
*	added hints into Ground	corbinea	2003-07-02
*	Ground update	corbinea	2003-06-22
*	Ground update	corbinea	2003-06-20
*	Ground Update.	corbinea	2003-06-20
*	Ajout 'Symmetry in Hyp'	herbelin	2003-06-19
*	Ground update	corbinea	2003-06-16
*	ground update	corbinea	2003-06-16
*	Ground major update ... mmm, sounds exciting !	corbinea	2003-06-15
*	ground update	corbinea	2003-06-14
*	Major Ground update, may break semantics	corbinea	2003-06-14
*	Ajout option Local à Hint, Hints et HintDestruct	herbelin	2003-06-14
*	Ground update	corbinea	2003-06-13
*	Ground update, new files.	corbinea	2003-06-13
*	Utilisation de intro_pattern dans NewDestruct/NewInduction	herbelin	2003-06-13
*	Ground update.	corbinea	2003-06-13
*	enieme correction du nommage modulaire	letouzey	2003-06-12
*	fin de l'affichage des signatures de modules dans les *.ml	letouzey	2003-06-12
*	Typo	herbelin	2003-06-10
*	Ajout notation c.(f) en v8 pour les projections de Record	herbelin	2003-06-10
*	Réinstallation d'un afficheur de niveau d'imbrication pour le déboggueur de...	herbelin	2003-06-10
*	Ajout notation c.(f) en v8 pour les projections de Record	herbelin	2003-06-10
*	Globalisation de ce qui n'etait pas encore globalise	herbelin	2003-06-10
*	interaction entre fun/case permut et assert false	letouzey	2003-06-08
*	bugfix for Ground ( merci JC )	corbinea	2003-06-04
*	Ground update + some bugfix	corbinea	2003-06-04