UniMath/UniMath — pull request #65 by vladimirias (2014-12-14 00:49:53+00:00)
Title: Some cosmetic changes mostly to hnat

More changes/additions to hnat to follow soon.