leanprover/lean — pull request #381 by avigad (2014-12-24 02:20:31+00:00)
Title: more housecleaning

... and nat is now an instance of semiring. (But I still have to make nat and int instances of ordered_semiring and ordered_ring, respectively.)