Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Revert "In the short term, stronger invariant on the syntax of TacAssert, what" | 2016-04-27 | |
* | In the short term, stronger invariant on the syntax of TacAssert, what | 2016-04-27 | |
* | Creating a dedicated ltac/ folder for Hightactics. | 2016-03-21 |