log tests/cst.urp

age author description
2009-04-07 Adam Chlipala UNIQUE constraints