HoTT/HoTT — pull request #572 by mikeshulman (2014-10-13 05:18:35+00:00)
Title: Rename types/ to Types/

on top of #569