log demo/treeFun.ur

age author description
2009-04-13 Adam Chlipala Simplify type class requirement for tree demo
2009-04-07 Adam Chlipala Enhance table sig item support and get demo compiling again
2008-11-07 Adam Chlipala Tree demo working (and other assorted regressions fixed)
2008-11-06 Adam Chlipala Tree demo works
2008-11-06 Adam Chlipala About to begin optimization of recursive transaction functions