HoTT/HoTT — pull request #374 by JasonGross (2014-04-21 21:34:15+00:00)
Title: Add a note about the universes of [quotient].

This replaces #372.