log demo/treeFun.urs

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-06 Adam Chlipala About to begin optimization of recursive transaction functions