aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/FSets/FMapPositive.v
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Removing a dummy parameter in some FMapPositive statements.Gravatar Hugo Herbelin2017-07-16
* Giving a more natural semantics to injection by default.Gravatar Hugo Herbelin2016-06-18
* Fix some typos.Gravatar Guillaume Melquiond2015-12-07
* - Fix printing and parsing of primitive projections, including the SetGravatar Matthieu Sozeau2014-09-09
* Cleanup treatment of template universe polymorphism (thanks to E. TassiGravatar Matthieu Sozeau2014-06-20
* Making those proofs which depend on names generated for the argumentsGravatar Hugo Herbelin2014-06-01
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* "Boolean Equality" and "Case Analysis" are already off by default...Gravatar letouzey2013-07-17
* Unset Asymmetric PatternsGravatar pboutill2013-01-18
* Open Local Scope ---> Local Open Scope, same with Notation and aliiGravatar letouzey2012-07-05
* Final part of moving Program code inside the main code. Adapted add_definitio...Gravatar msozeau2012-03-14
* theories/, plugins/ and test-suite/ ported to the Arguments vernacularGravatar gareuselesinge2011-11-21
* - Add modulo_delta_types flag for unification to allow fullGravatar msozeau2011-03-13
* FSetPositive: sets of positive inspired by FMapPositive.Gravatar letouzey2010-07-16
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Remove various useless {struct} annotationsGravatar letouzey2009-11-02
* Merge SetoidList2 into SetoidList.Gravatar letouzey2009-10-19
* Fix the stdlib doc compilation + switch all .v file to utf8Gravatar letouzey2009-09-28
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Fix the bug-ridden code used to choose leibniz or generalizedGravatar msozeau2009-09-08
* FSet/OrderedType now includes an eq_dec, and hence become an extension of Dec...Gravatar letouzey2008-12-17
* Structural definition of PositiveMap.foldGravatar glondu2008-12-11
* Make PositiveMap.xmapi structuralGravatar glondu2008-12-11
* migration from Set to Type of FSet/FMap + some dependencies...Gravatar letouzey2008-03-04
* Some suggestions about FMap by P. Casteran: Gravatar letouzey2008-02-28
* cardinal is promoted to the rank of primitive member of the FMap interfaceGravatar letouzey2008-02-28
* Revision of the FSetWeak Interface, so that it becomes a precise Gravatar letouzey2007-10-29
* As suggested by Pierre Casteran, fold for FSets/FMaps now takes a Gravatar letouzey2007-05-27
* fix for bug #1347 (no more Scope pollution by FSets)Gravatar letouzey2007-05-25
* PositiveOrderedTypeBits is now formulated to be a UsualOrderedType, not only ...Gravatar letouzey2007-03-26
* mise a jour du nouveau ring et ajout du nouveau field, avant renommagesGravatar barras2006-09-26
* incomplete and temporary fix for PR#1222: revert accepts up to 10 argsGravatar letouzey2006-09-21
* suite de l'ajout des FSets/FMaps dans les theories standardsGravatar letouzey2006-04-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 19:41:13 +0000