log tests/cut.lac

age author description
2008-07-24 Adam Chlipala Record cut