HoTT/HoTT — pull request #486 by mikeshulman (2014-09-10 18:37:54+00:00)
Title: Remove Freudenthal.v (incomplete)

at @peterlefanulumsdaine's suggestion. Once it's working we can put it back, but while it's not yet working, it's probably confusing to have it hanging around.