log src/defunc.sml

age author description
2008-11-09 Adam Chlipala Prevent overzealous Especialization
2008-11-09 Adam Chlipala Defunctionalization gets CommentBlog working