log CHANGELOG

age author description
2009-11-24 Adam Chlipala New release
2009-11-08 Adam Chlipala New release