coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Using the "relation" constant made some unifications fail in the new	msozeau	2008-03-16
*	Essai de prise en compte de delta dans unify_0 (même sur termes non clos).	herbelin	2008-02-13
*	Ajout de eelim, ecase, edestruct et einduction (expérimental).	herbelin	2007-10-03
*	Correction d'un bug dans l'affichage du message d'erreur real_clean	herbelin	2007-05-29
*	- Propagation des evars non résolues vers les with_bindings; permet par exemple	herbelin	2007-05-20
*	induction now admits multiple induction arguments. The principle must	coq	2006-02-10
*	Changement des named_context	gregoire	2005-12-02
*	COMMITED BYTECODE COMPILER	barras	2004-10-20
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	inclusion de meta_map dans evar_defs	barras	2004-09-12
*	simplification de clenv	barras	2004-09-10
*	unification encore...	barras	2004-09-08
*	deuxieme vague de modifs: evar_defs fonctionnel	barras	2004-09-07
*	premiere reorganisation de l\'unification	barras	2004-09-03