aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/FSets
Commit message (Expand)AuthorAge
* reparartion d'un petit oubli cassant PrecedenceGraphGravatar letouzey2006-05-14
* Duplication du fichier FSetProperties pour les ensembles Weak. Gravatar letouzey2006-05-11
* suite de l'ajout des FSets/FMaps dans les theories standardsGravatar letouzey2006-04-29
* meilleur nommage pour PairOrderedTypeGravatar letouzey2006-04-29
* un lemme de double inclusionGravatar letouzey2006-04-25
* on utilise explicitement Prop/iff pour certains morphismes pour eviter des wa...Gravatar letouzey2006-04-05
* pour coqdocGravatar letouzey2006-03-29
* reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...Gravatar letouzey2006-03-28
* ajout d'un debut de proprietes pour les FSetWeakGravatar letouzey2006-03-17
* propriete svn:keywords positionnee a Author Date Id Revision sur l'ensemble d...Gravatar letouzey2006-03-16
* utilisation de removeA dans FSetPropertiesGravatar letouzey2006-03-16
* renommage NoRedun vers le plus joli NoDupGravatar letouzey2006-03-15
* Réparation de FSet (back to 8628)Gravatar notin2006-03-15
* encore un essaiGravatar letouzey2006-03-15
* reparation des $Gravatar letouzey2006-03-15
* Ajout de theories/FSets contenant la partie "light" de FSets et FMap:Gravatar letouzey2006-03-15
* suppression de FSets (redevient une contrib)Gravatar filliatr2003-06-24
* docGravatar filliatr2003-06-24
* concat; debut splitGravatar filliatr2003-06-24
* joinGravatar filliatr2003-06-23
* add_tree : sur type tree plutot que sur type tGravatar filliatr2003-06-23
* merge_bis et debug joinGravatar filliatr2003-06-23
* removGravatar filliatr2003-06-20
* mergeGravatar filliatr2003-06-20
* remove_min, remove_maxGravatar filliatr2003-06-20
* addGravatar filliatr2003-06-19
* bal: preuve termineeGravatar filliatr2003-06-19
* bal: premier cas hl > hr + 2Gravatar filliatr2003-06-19
* typoGravatar filliatr2003-06-19
* AVL: suiteGravatar filliatr2003-06-18
* AVL: suiteGravatar filliatr2003-06-17
* AVL de caml: un debutGravatar filliatr2003-06-17
* Ground depthGravatar filliatr2003-06-16
* reparation fsets suite a changement de GroundGravatar filliatr2003-06-16
* changement de spécif du foldGravatar letouzey2003-06-13
* fcts tail-recursivesGravatar filliatr2003-06-13
* Require ExportGravatar filliatr2003-06-13
* FSets, mais pas compile' par make worldGravatar filliatr2003-06-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-28 10:38:22 +0000