aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/FSets/FSets.v
Commit message (Expand)AuthorAge
* Require FSets ne doit pas charger FSetToFiniteSet (qui utilise l'axiome d'ext...Gravatar letouzey2006-06-05
* suite de l'ajout des FSets/FMaps dans les theories standardsGravatar letouzey2006-04-29
* reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...Gravatar letouzey2006-03-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 04:46:17 +0000