coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Making those proofs which depend on names generated for the arguments	Hugo Herbelin	2014-06-01
*	Eta contractions to please cbn	Pierre Boutillier	2014-05-02
*	Reverted 13293 commited mistakenly. Sorry for the noise.	herbelin	2010-07-18
*	Tentative de suppression de l'import automatique des hints et coercions.	herbelin	2010-07-18
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Remove various useless {struct} annotations	letouzey	2009-11-02
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	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
*	kill some useless module aliases E:=X (for better name printing, see Elie's 1...	letouzey	2008-02-05
*	Reorganization of FSet+FMap : no more files specific to Weak Sets/Maps	letouzey	2008-02-04
*	small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is	letouzey	2007-11-06
*	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
*	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
*	meilleur nommage pour PairOrderedType	letouzey	2006-04-29
*	propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...	letouzey	2006-03-16
*	renommage NoRedun vers le plus joli NoDup	letouzey	2006-03-15
*	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