HoTT/HoTT — pull request #177 by JasonGross (2013-08-14 21:14:54+00:00)
Title: Qualify the import of the Tactics module.

This way, we don't get a warning about ambiguous imports