HoTT/HoTT — pull request #418 by JasonGross (2014-07-24 17:23:30+00:00)
Title: Clean up transport_path_forall_hammer

Using the new tactics in terms is cleaner than messing with evars.