log demo/tree.urs

age author description
2008-11-06 Adam Chlipala About to begin optimization of recursive transaction functions