aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/FSets/FMaps.v
Commit message (Expand)AuthorAge
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...Gravatar letouzey2008-03-19
* Reorganization of FSet+FMap : no more files specific to Weak Sets/MapsGravatar letouzey2008-02-04
* un debut de propriétés concernant FMapGravatar letouzey2006-05-22
* 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