leanprover/lean — pull request #240 by fpvandoorn (2014-10-09 06:00:29+00:00)
Title: fixed pull request

Pull request #237 with proper commit messages.