log tests/tcsimp.ur

age author description
2012-05-02 Adam Chlipala In simplifying constructors for error messages, unfold constructor synonyms from modules