HoTT/HoTT — pull request #430 by JasonGross (2014-08-25 00:10:40+00:00)
Title: A * (B * C) ≅ (A * B) * C, for categories

This is on top of #429.