HoTT/HoTT — pull request #31 by andrejbauer (2012-12-13 17:01:24+00:00)
Title: Placing the new ssreflect-like version of HoTT onto the main repo.

We are going to work on this at IAS in the next week.