summaryrefslogtreecommitdiff
path: root/tests/tcsimp.ur
Commit message (Expand)AuthorAge
* In simplifying constructors for error messages, unfold constructor synonyms f...Gravatar Adam Chlipala2012-05-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-18 19:54:06 +0000