Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add under_with_unification_resultT_relation_hetero | 2018-10-09 | |
* | Support type variables in patterns in the rewriter | 2018-09-29 | |
* | Finish and enable rule-specific rewriter wf proofs | 2018-08-13 | |
* | Finish rule-specific rewriter wf proofs | 2018-08-13 | |
* | Improvements in rewrite-rule-specific proofs | 2018-08-13 | |
* | Split up rewrite rules proofs into multiple files | 2018-08-13 |