log src/elaborate.sml

age author description
Tue, 02 Jun 2009 15:43:18 -0400 Adam Chlipala Tweak -- precedence; use right env for final exhaustiveness errors