leanprover/lean — pull request #211 by fpvandoorn (2014-09-26 23:57:00+00:00)
Title: changes in library

I made changes in eq, sigma, category and minor changes is int and path.