log src/reduce.sml

age author description
2014-02-15 Adam Chlipala Use neverInline in reduce