log LICENSE

age author description
2010-12-14 Adam Chlipala Import code from elsewhere