HoTT/HoTT — pull request #583 by mikeshulman (2014-10-21 05:49:16+00:00)
Title: 'simpl rewrite' can solve the problems in Factorization

Not the best solution, but better than what we had before.