log demo/tree.ur

age author description
Thu, 06 Nov 2008 17:09:53 -0500 Adam Chlipala About to begin optimization of recursive transaction functions