log tests/pkey.ur

age author description
2009-04-07 Adam Chlipala PRIMARY KEY