log demo/sql.ur

age author description
2009-04-16 Adam Chlipala Effectness analysis
2009-04-07 Adam Chlipala Add primary keys to demo
2008-11-07 Adam Chlipala Tree demo working (and other assorted regressions fixed)
2008-10-27 Adam Chlipala Remove need for '() <-' notation
2008-10-21 Adam Chlipala Sql demo