HoTT/HoTT — pull request #333 by JasonGross (2014-03-03 04:50:24+00:00)
Title: Remove dependencies on HoTT.v

Also include more things in HoTT.v and fix up some other dependencies.

This closes #322.