coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	- A little cleanup in Classes/*. Separate standard morphisms on	msozeau	2008-04-08
*	Do another pass on the typeclasses code. Correct globalization of class	msozeau	2008-03-19
*	Plug the new setoid implemtation in, leaving the original one commented	msozeau	2008-03-06
*	Nicer third spec of choose.	letouzey	2008-02-28
*	Reorganization of FSet+FMap : no more files specific to Weak Sets/Maps	letouzey	2008-02-04
*	Thanks to Elie, we can share duplicated stuff in FSets: for a start, FSetWeak...	letouzey	2008-02-01
*	temporary workaround for bug #1738	letouzey	2007-10-30
*	A useless Add Morphism: since Subset is a Setoid Relation, it is also	letouzey	2007-10-30
*	Revision of the FSetWeak Interface, so that it becomes a precise	letouzey	2007-10-29
*	Cleanup attempt of Hints in *Interface.v files.	letouzey	2007-10-21
*	undeletion of E_ST and Equal_ST: these records aren't mandatory, but quite us...	letouzey	2007-06-11
*	* For uniformity, FSetAVL uses Implicit Arguments (a bit)	letouzey	2007-06-07
*	petits ajouts	letouzey	2006-05-31
*	suite tentative pour permettre l'utilisation de modules de FSets	letouzey	2006-05-20
*	on utilise explicitement Prop/iff pour certains morphismes pour eviter des wa...	letouzey	2006-04-05
*	propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...	letouzey	2006-03-16
*	Réparation de FSet (back to 8628)	notin	2006-03-15
*	reparation des $	letouzey	2006-03-15
*	Ajout de theories/FSets contenant la partie "light" de FSets et FMap:	letouzey	2006-03-15