coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Locate n'échoue plus: déplacement de Remark1 et Remark2 dans output	herbelin	2002-06-07
*	* empty log message *	herbelin	2002-06-03
*	* empty log message *	herbelin	2002-05-29
*	Quelques bugs avec inject_nat	herbelin	2002-04-17
*	Test affichage O de nat dans une expression sur Z	herbelin	2002-01-25
*	Test sobriété de la réduction de Intuition	herbelin	2001-12-19
*	Test sobriété de la réduction de Intuition	herbelin	2001-12-19
*	Test syntaxe des constructions de l'état initial	herbelin	2001-10-17
*	Commit par erreur	herbelin	2001-10-17
*	Test syntaxe des entiers relatifs	herbelin	2001-10-17
*	Test syntaxe des réels	herbelin	2001-10-17