| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-12-14 | Generalized binding syntax overhaul: only two new binders: `() and `{}, | msozeau |
| 2008-11-09 | More factorization of inductive/record and typeclasses: move class | msozeau |
| 2008-07-07 | - Improve [Context] vernacular to allow arbitrary binders, not just | msozeau |
| 2008-04-01 | Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient | herbelin |
| 2008-03-23 | Fix a bug found by B. Grégoire when declaring morphisms in module | msozeau |
| 2008-03-22 | Compatibility fixes, backtrack on definitions of reflexive, | msozeau |
| 2008-03-19 | Do another pass on the typeclasses code. Correct globalization of class | msozeau |
| 2008-03-16 | Reorganize Program and Classes theories. Requiring Setoid no longer sets | msozeau |
| 2008-03-06 | Syntax changes in typeclasses, remove "?" for usual implicit arguments | msozeau |
| 2008-02-26 | Proper implicit arguments handling for assumptions | msozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |