aboutsummaryrefslogtreecommitdiff
path: root/theories/Structures/OrderedTypeEx.v
AgeCommit message (Expand)Author
2020-04-07Integrated changes proposed by @JasonGrossilya
2020-04-07proposed fix for the issue #12015 (String_as_OT)ilya
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-10-31lia: depend only on ZArith_baseVincent Laporte
2019-10-22OrderedTypeEx: do not use “omega”Vincent Laporte
2019-10-04[Stdlib] OrderedType: do not pollute the “core” hint databaseVincent Laporte
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-11-22The usual order of strings.Yao Li
2018-03-05Merge PR #6855: Update headers following #6543.Maxime Dénès
2018-03-02Turn warning for deprecated notations on.Théo Zimmermann
2018-02-27Update headers following #6543.Théo Zimmermann
2014-06-01Making those proofs which depend on names generated for the argumentsHugo Herbelin
2012-07-05ZArith + other : favor the use of modern names instead of compat notationsletouzey
2011-05-05Modularization of BinPos + fixes in Stdlibletouzey
2010-07-16FSetPositive: sets of positive inspired by FMapPositive.letouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-10-13MSets: a new generation of FSetsletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:50:37 +0000