s-falke/kittel-koat — pull request #1 by mmjb (2014-04-04 08:43:22+00:00)
Title: Refactoring/Cleanup of smt.ml

Most of this straight-forward lifting to higher-order methods. I'm happy to reformat/restyle, if you want to enforce a certain style :-)