log

age author description
Sat, 05 Nov 2011 09:56:52 -0400 Adam Chlipala Fix confusing error message when record unification fails because enclosed types are incompatible