HoTT/HoTT — pull request #375 by JasonGross (2014-04-21 21:34:58+00:00)
Title: Define Type0 to mean Set

This replaces part 1 of #373