HoTT/HoTT — pull request #594 by JasonGross (2014-10-27 20:35:29+00:00)
Title: Make [path_induction] more robust

In newer trunks, it'll loop on section hypotheses. See
https://coq.inria.fr/bugs/show_bug.cgi?id=3769.