aboutsummaryrefslogtreecommitdiff
path: root/theories/Classes/Functions.v
AgeCommit message (Expand)Author
2010-02-11Cleanup in Classes, removing unsupported code.msozeau
2009-10-27Add a new vernacular command for controling implicit generalization ofmsozeau
2009-09-28Fix the stdlib doc compilation + switch all .v file to utf8letouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-04-21Rename [Morphism] into [Proper] and [respect] into [proper] to complymsozeau
2008-12-14Generalized binding syntax overhaul: only two new binders: `() and `{},msozeau
2008-11-09More factorization of inductive/record and typeclasses: move classmsozeau
2008-07-07- Improve [Context] vernacular to allow arbitrary binders, not justmsozeau
2008-04-01Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaientherbelin
2008-03-23Fix a bug found by B. Grégoire when declaring morphisms in modulemsozeau
2008-03-22Compatibility fixes, backtrack on definitions of reflexive,msozeau
2008-03-19Do another pass on the typeclasses code. Correct globalization of classmsozeau
2008-03-16Reorganize Program and Classes theories. Requiring Setoid no longer setsmsozeau
2008-03-06Syntax changes in typeclasses, remove "?" for usual implicit argumentsmsozeau
2008-02-26Proper implicit arguments handling for assumptionsmsozeau
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 23:20:58 +0000