log tests/newMessage.ur

age author description
2012-05-02 Adam Chlipala Better discovery of type class instances from recursive definitions