log

age author description
Tue, 18 Nov 2008 13:27:33 -0500 Adam Chlipala Mention Especialize in CHANGELOG
Tue, 11 Nov 2008 20:24:55 -0500 Adam Chlipala Fix type calculation for applying-a-case optimization