log tests/tcrec.ur

age author description
2011-10-15 Adam Chlipala Improved unification of record literals in type class resolution