coq - The formal proof system

Age	Commit message (Expand)	Author
2006-10-25	conflit de nom (Field_theory) modulo la casse	barras
2006-10-19	Correction sym -> comm	herbelin
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
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-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
2002-11-14	MAJ syntaxe	herbelin
2002-05-29	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin
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-09-20	Transparent	barras
2001-06-27	Reduction tres significative du terme preuve	delahaye
2001-04-20	Ajout des entetes	delahaye
2001-04-19	Ajout de Field	delahaye