log src/reduce.sml

age author description
Wed, 26 Nov 2008 12:13:00 -0500 Adam Chlipala Start of new Reduce
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Fri, 31 Oct 2008 09:30:22 -0400 Adam Chlipala Replace 'with' with '++'