UniMath/UniMath — pull request #67 by benediktahrens (2014-12-19 23:00:17+00:00)
Title: reintroduce notation for homotopy in isweqhomot (uu0a), fix resulting er...

...ror in algebra1a