coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout fonctions syntaxe v8 pour contrib MapleMode	herbelin	2003-09-23
*	Système de renommage des noms de tactiques Ltac	herbelin	2003-09-22
*	Légères simplifications code de Field; message d'erreur si pas égalité	herbelin	2003-04-03
*	remplace == par = dans la tactique field pour que le debugger marche a nouvea...	narboux	2003-04-01
*	Utilisation de 'Recursive' pour les tactiques récursives	herbelin	2003-01-20
*	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin	2002-05-29
*	Fix d'un bug sur le test des inverses	delahaye	2002-03-19
*	Meilleure gestion de la reduction dans Field	delahaye	2002-03-17
*	oubli: changement de nil en nilT	mayero	2001-11-14
*	Changement de list en listT, cons en consT et app en appT	mayero	2001-11-14
*	GROS COMMIT:	barras	2001-11-05
*	Correction due au changement de semantique de Match	delahaye	2001-09-21
*	Evar et Zeta ne sont plus implicites dans Delta (mais le restent dans Compute...	herbelin	2001-07-02
*	Reduction du terme preuve fourni par Field	delahaye	2001-06-27
*	Reduction tres significative du terme preuve	delahaye	2001-06-27
*	Suppression d'une partie de code commente	delahaye	2001-04-24
*	Ajout des entetes	delahaye	2001-04-20
*	Ajout de Field	delahaye	2001-04-19