HoTT/HoTT — pull request #603 by mikeshulman (2014-11-02 04:56:41+00:00)
Title: Universal properties without funext, and localization

See for a detailed description of the contents of this PR.