log CHANGELOG

age author description
2009-09-12 Adam Chlipala New release
2009-08-25 Adam Chlipala New release