coq - The formal proof system

Age	Commit message (Expand)	Author
2006-09-26	commit de field + renommages	barras
2006-09-26	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras
2004-07-16	Nouvelle en-tête	herbelin
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-11-13	moins unaire au niveau 35, tactiques simple_induction et simple_destruct, Loc...	barras
2003-11-01	Finalement, niveau 0 pour l'argument du '-' uniare, pour eviter que les entie...	herbelin
2003-10-30	Parsing du moins unaire au niveau de l'application qui n'a pas besoin d'etre ...	herbelin
2003-10-22	reorganisation des niveaux (ex: = est a 70)	barras
2003-05-21	Mise en conformite de la precedence du '-' unaire avec celle de Notations (su...	herbelin
2003-05-21	Mise en conformite de la precedence du '-' unaire avec celle de Notations	herbelin
2003-05-21	Mise en conformite de la precedence du '-' unaire avec celle de Notations	herbelin
2003-05-21	Concentration des notations officielles dans Init/Notations; restructuration ...	herbelin
2003-03-12	* empty log message *	barras
2002-11-26	Remplacement des Grammar et des [\| \|] par des notations	herbelin
2002-04-17	Uniformisation (Qed/Save et Implicits Arguments)	herbelin
2001-08-05	Expérimentation de NewDestruct et parfois NewInduction	herbelin
2001-07-10	Ajout d'un Ring pour setoides	clrenard
2001-03-15	entetes	filliatr
2000-11-24	certains effets disparaissent a la sortie des sections, d'autres non (selon S...	filliatr
2000-11-07	Changement/extension dans les noms de parseurs de Grammar	herbelin
2000-10-26	Semi_Ring_Theory_of decommente	mohring
2000-06-21	- $BINDER -> BINDER dans g_constr.ml4 (=> erreur syntax Fix)	filliatr
2000-06-21	bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...	filliatr
2000-06-21	Ring	filliatr