coq - The formal proof system

Age	Commit message (Expand)	Author
2006-06-05	Require FSets ne doit pas charger FSetToFiniteSet (qui utilise l'axiome d'ext...	letouzey
2006-05-31	petits ajouts	letouzey
2006-05-31	Replacing the old version of "functional induction" with the new one.	jforest
2006-05-30	* suite de la revision des wrappers Make	letouzey
2006-05-24	Suite changement précédence by de assert	herbelin
2006-05-23	Changement de prÃ©cÃ©dence de l'argument du by de assert; consÃ©quences...	herbelin
2006-05-22	un debut de propriétés concernant FMap	letouzey
2006-05-22	suite des marquages de types et opacifications de lemmes dans les wrappers Make	letouzey
2006-05-20	auto with zarith genere des sous-lemmes silencieusement,	letouzey
2006-05-20	suite tentative pour permettre l'utilisation de modules de FSets	letouzey
2006-05-19	on cache autant que possible Raw dans FSet(Weak)List.Make	letouzey
2006-05-18	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8829 85f007b7-540e-04...	letouzey
2006-05-15	3*rien	letouzey
2006-05-15	ajout d'exemples de decidable types	letouzey
2006-05-14	reparartion d'un petit oubli cassant PrecedenceGraph	letouzey
2006-05-11	Duplication du fichier FSetProperties pour les ensembles Weak.	letouzey
2006-04-29	suite de l'ajout des FSets/FMaps dans les theories standards	letouzey
2006-04-29	meilleur nommage pour PairOrderedType	letouzey
2006-04-25	un lemme de double inclusion	letouzey
2006-04-05	on utilise explicitement Prop/iff pour certains morphismes pour eviter des wa...	letouzey
2006-03-29	pour coqdoc	letouzey
2006-03-28	reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...	letouzey
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