log src/elaborate.sml

age author description
Thu, 16 Dec 2010 13:35:40 -0500 Adam Chlipala Fiddly tweaks
Wed, 15 Dec 2010 09:37:36 -0500 Adam Chlipala Smarter record unification