Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove unused substitution functions in checker. | 2014-09-05 | |
* | Fix checker treatment of inductives using subst_instances instead of subst_un... | 2014-09-05 | |
* | Removing dead code in checker/univ.ml. | 2014-06-10 | |
* | Removing explanations of universe inconsistencies from the checker. They | 2014-06-10 | |
* | Providing the checker with its own version of the Univ file. | 2014-06-10 |