log demo/tree.ur

age author description
2009-04-16 Adam Chlipala Effectness analysis
2009-04-09 Adam Chlipala Use FOREIGN KEY in Tree demo
2009-04-07 Adam Chlipala Add primary keys to demo
2008-11-07 Adam Chlipala Tree demo working (and other assorted regressions fixed)
2008-11-06 Adam Chlipala About to begin optimization of recursive transaction functions