HoTT/HoTT — pull request #533 by spitters (2014-09-28 07:04:31+00:00)
Title: Qualifying Imports.

This is needed later to get `setoid_rewrite` to work.