HoTT/HoTT — pull request #557 by mikeshulman (2014-10-07 05:34:24+00:00)
Title: Use Set Keyed Unification, close #531.

Should we hold off until we know what's going on with the primitive-projections thing in `Connectedness`?