Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add dlet_nd notation | Jason Gross | 2017-03-01 |
* | Add more specific form of Proper_Let_In_nd_changebody | Jason Gross | 2016-10-22 |
* | Work around bug 5107 (broken return inference) | Jason Gross | 2016-10-03 |
* | Fix a typo | Jason Gross | 2016-09-22 |
* | Add a form of Let_In that carries a proof | Jason Gross | 2016-09-22 |
* | alternative signing derivation | Andres Erbsen | 2016-09-22 |
* | Util.LetIn: fix proper instance | Andres Erbsen | 2016-09-22 |
* | Change [Let ... in ...] to [dlet ... in ...] (#67) | Jason Gross | 2016-09-19 |
* | Add reserved notation for Let, change # | Jason Gross | 2016-09-17 |
* | deduplicate Let_In into src/Util/LetIn.v | Andres Erbsen | 2016-09-17 |