HoTT/HoTT — pull request #371 by JasonGross (2014-04-20 06:17:25+00:00)
Title: Make Empty a Set

It fixes some universe issues. If you want the [Prop], use [False].