coq - The formal proof system

Age	Commit message (Expand)	Author
2006-10-25	Ménage	notin
2006-09-26	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras
2006-05-28	- Déplacement des types paramétriques prod, sum, option, identity,	herbelin
2006-03-05	Exploitation du 'let rec' + présentation	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-03-11	reals: renamed type option into field_rel_option	marche
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-09-23	Ajout fonctions syntaxe v8 pour contrib MapleMode	herbelin
2003-09-22	Système de renommage des noms de tactiques Ltac	herbelin
2003-04-03	Légères simplifications code de Field; message d'erreur si pas égalité	herbelin
2003-04-01	remplace == par = dans la tactique field pour que le debugger marche a nouvea...	narboux
2003-01-20	Utilisation de 'Recursive' pour les tactiques récursives	herbelin
2002-05-29	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin
2002-03-19	Fix d'un bug sur le test des inverses	delahaye
2002-03-17	Meilleure gestion de la reduction dans Field	delahaye
2001-11-14	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-05	GROS COMMIT:	barras
2001-09-21	Correction due au changement de semantique de Match	delahaye
2001-07-02	Evar et Zeta ne sont plus implicites dans Delta (mais le restent dans Compute...	herbelin
2001-06-27	Reduction du terme preuve fourni par Field	delahaye
2001-06-27	Reduction tres significative du terme preuve	delahaye
2001-04-24	Suppression d'une partie de code commente	delahaye
2001-04-20	Ajout des entetes	delahaye
2001-04-19	Ajout de Field	delahaye