log tests/time.ur

age author description
2008-10-30 Adam Chlipala CURRENT_TIMESTAMP
2008-10-30 Adam Chlipala Time MIN/MAX
2008-10-30 Adam Chlipala Marshaling time to SQL
2008-10-30 Adam Chlipala Reading timestamps from SQL
2008-10-30 Adam Chlipala Add time to some type classes
2008-10-30 Adam Chlipala time type