coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Removed some useless code in mod_typing that was redundant with safe_typing.	soubiran	2007-02-21
*	Prise en compte des univers algébriques dans les types inférés dans	herbelin	2007-01-19
*	Correction bug #1302	herbelin	2007-01-17
*	remplacement d'un test d'egalite par un test de convertibilite dans injection...	jforest	2006-12-22
*	Clarification des contraintes sur le contexte de paramètres des	herbelin	2006-10-17
*	Correction de deux cas où les types inductifs n'étaient pas comparés	herbelin	2006-10-05
*	Correction du bug #1181	jforest	2006-09-14
*	Conformité nouveaux principes: Declare Module non utilisable pour définir u...	herbelin	2006-05-10
*	Test synchronisation chargement objets non logiques	herbelin	2006-04-15
*	Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8	herbelin	2005-12-21
*	MAJ syntaxe v7 avant activation en syntaxe v8	herbelin	2005-12-21
*	Anciennement déplacé dans 'output'	herbelin	2005-12-21
*	Simplest Demo on modules	coq	2003-11-28
*	L'exemple phare de modules - simplifie pour TPHOLs	coq	2003-09-22
*	Corrige Bug (PR#290)	coq	2003-05-05
*	commentaire	coq	2003-02-06
*	MAJ syntaxe modules + nouveau fichier mod_decl qui explique tout	coq	2003-01-31
*	Remplacement de Syntactic Definition par Notation	herbelin	2002-11-24
*	Encore quelques rangements dans Nametab + petits trucs	coq	2002-09-27
*	Encore quelques tests sur modules...	coq	2002-08-16
*	Petites corrections ici et la	coq	2002-08-13
*	Modules dans COQ\!\!\!\!	coq	2002-08-02