log tests/timestamp.ur

age author description
2012-11-30 Adam Chlipala Fix generation of timestamp literals for MySQL and SQLite