aboutsummaryrefslogtreecommitdiff
path: root/theories/FSets/OrderedTypeEx.v
AgeCommit message (Expand)Author
2009-10-13MSets: a new generation of FSetsletouzey
2009-09-28Fix the stdlib doc compilation + switch all .v file to utf8letouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-07-24OrderedTypeEx.N_as_OT use Nlt, various minor improvements in N/ZArithletouzey
2009-07-22Better comparison functions in OrderedTypeExletouzey
2008-12-17FSet/OrderedType now includes an eq_dec, and hence become an extension of Dec...letouzey
2008-03-04migration from Set to Type of FSet/FMap + some dependencies...letouzey
2007-11-24* A few Parameter Inline, but they dont seem to help much concerning letouzey
2007-06-07Extension of NArith: Nminus, Nmin, etcletouzey
2007-05-28comparison functions should be Defined not Qedletouzey
2007-05-25fix for bug #1347 (no more Scope pollution by FSets)letouzey
2006-08-14comparison functions should be Defined not Qedletouzey
2006-05-20auto with zarith genere des sous-lemmes silencieusement, letouzey
2006-04-29suite de l'ajout des FSets/FMaps dans les theories standardsletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-17 02:15:52 +0000