HoTT/HoTT — pull request #154 by JasonGross (2013-07-23 14:49:49+00:00)
Title: Make Unit a Set

Currently, `Unit` is a `Prop`. This can cause universe inconsistencies, such as in https://github.com/HoTT/coq/issues/50.

Is is on top of the fix to make the code work with the newest version of HoTT/coq, for convenience.