coq - The formal proof system

Age	Commit message (Expand)	Author
2006-10-25	conflit de nom (Field_theory) modulo la casse	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
2002-11-14	MAJ syntaxe	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-04-20	Ajout des entetes	delahaye
2001-04-19	Ajout de Field	delahaye