Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge branch 'v8.5' | 2016-01-21 | |
|\ | |||
| * | Update copyright headers. | 2016-01-20 | |
* | | CLEANUP: kernel/context.ml{,i} | 2016-01-11 | |
* | | Revert "Fixing #1225: we now skip the canonically built binding contexts of" | 2015-11-10 | |
* | | Fixing #1225: we now skip the canonically built binding contexts of | 2015-11-10 | |
|/ | |||
* | Removing dead code. | 2015-02-02 | |
* | Update headers. | 2015-01-12 | |
* | This commit introduces changes in induction and destruct. | 2014-10-25 | |
* | Make eq_pattern_test/eq_test work up to the equivalence of primitive | 2014-09-24 | |
* | Moved code for finding subterms (pattern, induction, set, generalize, ...) | 2014-06-28 |