Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add compatibility Nonrecursive Elimination Schemes | 2016-04-04 | |
* | Update copyright headers. | 2016-01-20 | |
* | Moved proof_admitted to its own file, named "AdmitAxiom.v". | 2015-12-14 | |
* | Update compatibility file for some of bug #4392 | 2015-11-03 | |
* | Add compatibility files (feature 4319) | 2015-09-30 |