summaryrefslogtreecommitdiff
path: root/tests/tcsimp.ur
Commit message (Collapse)AuthorAge
* In simplifying constructors for error messages, unfold constructor synonyms ↵Gravatar Adam Chlipala2012-05-02
from modules
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-15 06:25:32 +0000