log tests/reduce.lac

age author description
2008-06-08 Adam Chlipala Some con reducing