HoTT/HoTT — pull request #182 by benediktahrens (2013-08-18 14:41:15+00:00)
Title: fixed interval HIT according to Yves Bertot's instructions

commit msg says it all