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 2025-01-28 05:52:47 +0000