coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remplacement des Grammar et des [\| \|] par des notations	herbelin	2002-11-26
*	Uniformisation (Qed/Save et Implicits Arguments)	herbelin	2002-04-17
*	Expérimentation de NewDestruct et parfois NewInduction	herbelin	2001-08-05
*	Ajout d'un Ring pour setoides	clrenard	2001-07-10
*	entetes	filliatr	2001-03-15
*	certains effets disparaissent a la sortie des sections, d'autres non (selon S...	filliatr	2000-11-24
*	Changement/extension dans les noms de parseurs de Grammar	herbelin	2000-11-07
*	Semi_Ring_Theory_of decommente	mohring	2000-10-26
*	- $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	2000-06-21