HoTT/HoTT — pull request #315 by JasonGross (2014-02-05 22:25:05+00:00)
Title: Don't use isequiv_adjointify in equiv_sigT_corect

We don't need it. But I needed to slightly change the destruction of a
sigma type in the recursion principle.