log demo/broadcast.ur

age author description
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 Add primary keys to demo
2009-04-05 Adam Chlipala Chat demo