log src/reduce.sig

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