vladimirias/UniMath — pull request #14 by benediktahrens (2014-12-07 12:13:29+00:00)
Title: finish transition to uu0{a,b,c,d}, remove other versions of uu0

the title says it all