HoTT/HoTT — pull request #455 by JasonGross (2014-09-02 04:09:47+00:00)
Title: Restore the old definition of path_via

As per #454 / #451.