aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Structures/OrdersLists.v
Commit message (Expand)AuthorAge
* MMaps: remove it from final 8.5 release, since this new library isn't mature ...Gravatar Pierre Letouzey2016-01-13
* Fix some typos.Gravatar Guillaume Melquiond2015-12-07
* Introducing MMaps, a modernized FMaps.Gravatar Pierre Letouzey2015-03-04
* Fixing tauto "special" behavior on singleton types w/ 2 parameters (bug #2680).Gravatar herbelin2012-04-15
* Revert "Tentative to fix bug #2628 by not letting intuition break records. Mi...Gravatar msozeau2012-01-31
* Tentative to fix bug #2628 by not letting intuition break records. Might be t...Gravatar msozeau2012-01-28
* - Add modulo_delta_types flag for unification to allow fullGravatar msozeau2011-03-13
* Nicer names: DecidableType2* --> Equalities*, OrderedType2* --> Orders*Gravatar letouzey2010-01-07