log tests/sequence.ur

age author description
2008-09-14 Adam Chlipala SQL sequences