log src/reduce.sml

age author description
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 '++'
Thu, 30 Oct 2008 16:58:54 -0400 Adam Chlipala Especialize