leanprover/lean — pull request #359 by avigad (2014-11-30 13:33:46+00:00)
Title: new naming conventions in algebra files

Feel free to revise the names or suggest changes.