Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - Add modulo_delta_types flag for unification to allow full | 2011-03-13 | |
* | Made option "Automatic Introduction" active by default before too many | 2010-06-08 | |
* | Remove the svn-specific $Id$ annotations | 2010-04-29 | |
* | MSets: Class Ok becomes a definition instead of an inductive (thanks Matthieu) | 2010-01-12 | |
* | Avoid declaring hints about refl/sym/trans of eq in DecidableType2 | 2010-01-05 | |
* | Fix [Instance: forall ..., C args := t] declarations to behave as | 2009-11-15 | |
* | Use generalizable variables info when internalizing arbitrary bindings, | 2009-11-08 | |
* | MSets: a new generation of FSets | 2009-10-13 |