aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Structures/EqualitiesFacts.v
Commit message (Expand)AuthorAge
* MMaps again : adding MMapList, an implementation by ordered listGravatar Pierre Letouzey2015-03-05
* Introducing MMaps, a modernized FMaps.Gravatar Pierre Letouzey2015-03-04
* Making those proofs which depend on names generated for the argumentsGravatar Hugo Herbelin2014-06-01
* - Add modulo_delta_types flag for unification to allow fullGravatar msozeau2011-03-13
* Numbers and bitwise functions.Gravatar letouzey2010-12-06
* Nicer names: DecidableType2* --> Equalities*, OrderedType2* --> Orders*Gravatar letouzey2010-01-07