coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	FSet/OrderedType now includes an eq_dec, and hence become an extension of Dec...	letouzey	2008-12-17
*	Structural definition of PositiveMap.fold	glondu	2008-12-11
*	Make PositiveMap.xmapi structural	glondu	2008-12-11
*	migration from Set to Type of FSet/FMap + some dependencies...	letouzey	2008-03-04
*	Some suggestions about FMap by P. Casteran:	letouzey	2008-02-28
*	cardinal is promoted to the rank of primitive member of the FMap interface	letouzey	2008-02-28
*	Revision of the FSetWeak Interface, so that it becomes a precise	letouzey	2007-10-29
*	As suggested by Pierre Casteran, fold for FSets/FMaps now takes a	letouzey	2007-05-27
*	fix for bug #1347 (no more Scope pollution by FSets)	letouzey	2007-05-25
*	PositiveOrderedTypeBits is now formulated to be a UsualOrderedType, not only ...	letouzey	2007-03-26
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	incomplete and temporary fix for PR#1222: revert accepts up to 10 args	letouzey	2006-09-21
*	suite de l'ajout des FSets/FMaps dans les theories standards	letouzey	2006-04-29