coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Granting wish #2229 (InA_dec transparent) and Michael Day's coq-club	herbelin	2010-04-10
*	Arith's min and max placed in Peano (+basic specs max_l and co)	letouzey	2010-02-17
*	Addition of mergesort + cleaning of the Sorting library	herbelin	2009-12-13
*	Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...	letouzey	2009-12-09
*	Improving abbreviations/notations + backtrack of semantic change in r12439	herbelin	2009-11-11
*	List + SetoidList : some cleanup around predicates Exists, Forall, Forall2, F...	letouzey	2009-11-02
*	Remove various useless {struct} annotations	letouzey	2009-11-02
*	list, length, app are migrated from List to Datatypes	letouzey	2009-11-02
*	Fix flat_map definition so that it plays nicely with fix	glondu	2009-10-29
*	Merge SetoidList2 into SetoidList.	letouzey	2009-10-19
*	MSets: a new generation of FSets	letouzey	2009-10-13
*	Implicit argument of Logic.eq become maximally inserted	letouzey	2009-10-08
*	Remove useless MonoList.v	glondu	2009-09-17
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	adds a property on map	bertot	2009-08-19
*	adds lemmas on interactions between existsb, forallb, and app	bertot	2009-08-19
*	- Add more precise error localisation when one of the application fails	herbelin	2009-08-04
*	List: add a iff-based lemma about In and ++	letouzey	2009-07-24
*	Typo in a comment	letouzey	2009-07-20
*	Very-small-step policy changes to the library.	herbelin	2009-06-06
*	fixed ring/field warning about hyp cleaning up	barras	2009-03-18
*	- gros commit sur ring et field: passage des arguments simplifie	barras	2009-03-17
*	Various little fixes:	msozeau	2009-01-18
*	FMaps: various updates (mostly suggested by P. Casteran)	letouzey	2008-12-26
*	FMap: fold_rec + more permissive transpose hyp + various cleanup	letouzey	2008-12-22
*	Add lemmas on lists: nth_default_eq, map_nth_error	glondu	2008-08-06
*	Cyclic31: migrate auxiliary lemmas to their legitimate files	letouzey	2008-05-27
*	Backtrack sur la mise à disposition en standard de la notation [ x ; ... ; y ]	herbelin	2008-05-09
*	Integration of theories/Ints into theories/Numbers, part 1: moving files	letouzey	2008-05-07
*	Ajout notation [ x ; ... ; y ] dans list_scope. Changement de la	herbelin	2008-04-29
*	Backtrack on using metas eagerly in auto, only done in "new auto" for	msozeau	2008-04-28
*	- Fix bug in unification not taking into account the right meta	msozeau	2008-04-27
*	- A little cleanup in Classes/*. Separate standard morphisms on	msozeau	2008-04-08
*	Correction du bug #1819	notin	2008-04-01
*	migration from Set to Type of FSet/FMap + some dependencies...	letouzey	2008-03-04
*	Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...	msozeau	2007-12-31
*	small tactics "swap" and "absurd_hyp" are now obsolete: "contradict" is	letouzey	2007-11-06
*	two additionnal results on list append (coming from theories/ints/List/ListAu...	letouzey	2007-11-01
*	Added ForAll_Str_nth_tl	roconnor	2007-07-11
*	- Extensions of FMap(Weak)Facts:	letouzey	2007-06-27
*	Added zwqipWith.	roconnor	2007-06-26
*	additional properties for FMap (and slight rework of SetoidList and FSetPrope...	letouzey	2007-06-26
*	oups: one file forgotten in my previous commit	letouzey	2007-06-14
*	some more properties of fold and elements in FSetProperties	letouzey	2007-06-08
*	Correction du bug #1510	notin	2007-04-17
*	Correction bug #1499	notin	2007-04-13
*	Changement dans le kernel :	bgregoir	2006-12-11
*	Déplacement des propriétés générales de BinList dans List et des tactiqu...	herbelin	2006-10-26
*	Indentation + typo	notin	2006-09-01
*	Argument Scope de list déplacé dans List.v	herbelin	2006-07-09