coq - The formal proof system

Age	Commit message (Expand)	Author
2006-03-17	ajout d'un debut de proprietes pour les FSetWeak	letouzey
2006-03-16	propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...	letouzey
2006-03-16	utilisation de removeA dans FSetProperties	letouzey
2006-03-15	renommage NoRedun vers le plus joli NoDup	letouzey
2006-03-15	Réparation de FSet (back to 8628)	notin
2006-03-15	encore un essai	letouzey
2006-03-15	reparation des $	letouzey
2006-03-15	Ajout de theories/FSets contenant la partie "light" de FSets et FMap:	letouzey
2003-06-24	suppression de FSets (redevient une contrib)	filliatr
2003-06-24	doc	filliatr
2003-06-24	concat; debut split	filliatr
2003-06-23	join	filliatr
2003-06-23	add_tree : sur type tree plutot que sur type t	filliatr
2003-06-23	merge_bis et debug join	filliatr
2003-06-20	remov	filliatr
2003-06-20	merge	filliatr
2003-06-20	remove_min, remove_max	filliatr
2003-06-19	add	filliatr
2003-06-19	bal: preuve terminee	filliatr
2003-06-19	bal: premier cas hl > hr + 2	filliatr
2003-06-19	typo	filliatr
2003-06-18	AVL: suite	filliatr
2003-06-17	AVL: suite	filliatr
2003-06-17	AVL de caml: un debut	filliatr
2003-06-16	Ground depth	filliatr
2003-06-16	reparation fsets suite a changement de Ground	filliatr
2003-06-13	changement de spécif du fold	letouzey
2003-06-13	fcts tail-recursives	filliatr
2003-06-13	Require Export	filliatr
2003-06-13	FSets, mais pas compile' par make world	filliatr