log

age author description
Tue, 02 Jun 2009 15:43:18 -0400 Adam Chlipala Tweak -- precedence; use right env for final exhaustiveness errors
Tue, 02 Jun 2009 13:55:10 -0400 Adam Chlipala Fix relative precedence of ; and case-stuff