log tests/cst.ur

age author description
2009-04-09 Adam Chlipala CHECK constraints
2009-04-09 Adam Chlipala Retry failed record summary unifications at the end, in hopes that more has been learned
2009-04-09 Adam Chlipala More flexible foreign keying
2009-04-07 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
2009-04-07 Adam Chlipala PRIMARY KEY
2009-04-07 Adam Chlipala Track uniqueness sets in table types
2009-04-07 Adam Chlipala UNIQUE constraints