coq - The formal proof system

Age	Commit message (Expand)	Author
2007-02-28	FSetInterface: new item choose_equal in the spec S (request of P. Casteran)	letouzey
2006-06-23	Passage des graphes de Function dans Type	jforest
2006-06-06	+ ameliorating the tactic "functional induction"	jforest
2006-05-31	Replacing the old version of "functional induction" with the new one.	jforest
2006-05-24	Suite changement précédence by de assert	herbelin
2006-05-22	suite des marquages de types et opacifications de lemmes dans les wrappers Make	letouzey
2006-05-20	suite tentative pour permettre l'utilisation de modules de FSets	letouzey
2006-04-29	suite de l'ajout des FSets/FMaps dans les theories standards	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