HoTT/HoTT — pull request #176 by JasonGross (2013-08-14 20:41:27+00:00)
Title: Add a [path_induction_hammer] tactic

It's a more powerful version of [path_induction], but doesn't have very
good computational behavior. It's somewhat tuned for speed, but is
unfortunately rather fiddly, speed-wise.

This closes #173.