coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Argument Scope de list déplacé dans List.v	herbelin	2006-07-09
*	Passage des graphes de Function dans Type	jforest	2006-06-23
*	+ ameliorating the tactic "functional induction"	jforest	2006-06-06
*	Replacing the old version of "functional induction" with the new one.	jforest	2006-05-31
*	* suite de la revision des wrappers Make	letouzey	2006-05-30
*	Changement de prÃ©cÃ©dence de l'argument du by de assert; consÃ©quences...	herbelin	2006-05-23
*	meilleur nommage pour PairOrderedType	letouzey	2006-04-29
*	reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...	letouzey	2006-03-28
*	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