HoTT/HoTT — pull request #226 by JasonGross (2013-10-21 18:04:17+00:00)
Title: Prove [IsHSet hProp]

This is required to prove that the precategory of [hProp]s is strict.