log tests/simplify.ur

age author description
2012-04-21 Adam Chlipala Add another rule to simplify record concatenations for pretty-printing