HoTT/HoTT — pull request #520 by mikeshulman (2014-09-19 23:05:11+00:00)
Title: Set Typeclasses Strict Resolution, close  #479

It works! (NB: This bumps the coq submodule version, so you have to recompile coq after pulling it.)