log tests/cut.urp

age author description
2008-11-12 Adam Chlipala Add CutMulti