log src/sources

age author description
2008-01-26 Adam Chlipala Initial skeleton