UnivalentMathematics/UniMath — pull request #15 by benediktahrens (2014-03-20 13:06:27+00:00)
Title: updated README

to account for name change