leanprover/lean0.1 — pull request #1 by codyroux (2014-05-09 15:14:52+00:00)
Title: More explicit messages in definitions

Second try.